Class TERM

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

Slots on this class:

Documentation:

KIF term expression

Alias: Expression

Exhaustive-Subclass-Partition: {

Variable, Constant, Listterm, Setterm, Quoterm, Logterm, Quanterm}