Class OPERATOR

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

Slots on this class:

Documentation: KIF operator

Instance-Of: Class

Subclass-Of: Term, Word

Exhaustive-Subclass-Partition: {

Defop, Ruleop, Sentop, Termop}

Superclass-Of:

Defop, Ruleop, Sentop, Termop

Other Related Axioms:

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