Class CONSTANT

• Defined in theory: Kif-meta
• Source code: kif-meta.lisp
• Also defined in: Dme-kb

Slots on this class:

Documentation:

A constant used in a KIF expression.

Instance-Of: Class

Subclass-Of: Term, Word

Domain-Of: Defining-axiom

Exhaustive-Subclass-Partition: {Funconst, Objconst, Relconst}

Superclass-Of: Funconst, Objconst, Relconst

Other Related Axioms:

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

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

(=> (Defining-Axiom $X $Y) (Constant $X))