Class OPERATOR

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

Slots on this class:

Documentation:

KIF operator

Subclass-Of: Term, Word

Exhaustive-Subclass-Partition: {

Termop, Sentop, Ruleop, Defop}