Class VARIABLE

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

Slots on this class:

Documentation: KIF variable

Instance-Of: Class

Subclass-Of: Term, Word

Exhaustive-Subclass-Partition: {Indvar, Seqvar}

Superclass-Of: Indvar, Seqvar

Other Related Axioms:

(Exhaustive-Subclass-Partition Word
                               (Setof Variable Operator Constant))

(Exhaustive-Subclass-Partition Term
                               (Setof Variable
                                      Constant
                                      Listterm
                                      Setterm
                                      Quoterm
                                      Logterm
                                      Quanterm))