Class VARIABLE

• Defined in theory: Kif-meta
• Source code: kif-meta.lisp

Slots on this class:

Documentation:

KIF variable

Subclass-Of: Term, Word

Exhaustive-Subclass-Partition: {Indvar, Seqvar}