Class
VARIABLE
KIF variable
Subclass-Of
:
Term
,
Word
Exhaustive-Subclass-Partition
:
{
Indvar
,
Seqvar
}
Defined in theory:
Kif-meta
Source code:
kif-meta.lisp