(4.99.1005)
query syntax
,
examples
,
home
,
beta
,
show segment
only queries
Help:
kind:
aggr
attr
func
mode
pred
sel
struct
constr
aggrnot
attrnot
funcnot
modenot
prednot
selnot
structnot
notat
th
def
thdef
dfs
sch
stat
exreg
funcreg
condreg
reg
item
article
symbol
format
keyword
relation:
antecedent
antonym
article
artoccur
baseterm ref
basetype ref
cluster
consequent
constructor
copy
defaultnot
definiens
definition
deftype ref
direct
direct notation
expandable ref
extoccur
firstnot
format
id
intypeattr
keyword
loci ref
mainfunc
mainmode
mothertype ref
negative antecedent
negative cluster
negative consequent
negative intypeattr
negative ref
notation
occur
opposite
opposite notation
origin
outtypeattr
parameter ref
positive antecedent
positive cluster
positive consequent
positive intypeattr
positive ref
prefix ref
premise ref
redef
ref
symbol
synonym
termtype ref
thesis ref
universe ref
vocabulary
articles
^^
,
symbols
^^
,
formats
^^
,
keywords
^^
,
constructors
^^
,
buffers
abc options: