Class OBJCONST

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

Slots on this class:

Documentation:

A symbol that denotes a KIF object other than a relation.

Instance-Of: Class

Subclass-Of: Constant

Other Related Axioms:

(Exhaustive-Subclass-Partition Constant
                               (Setof Funconst Relconst Objconst))