Class DEFOP

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

Slots on this class:

Documentation: KIF definitional operator

Instance-Of: Class

Subclass-Of: Operator

All-Instances: {

'=, '=>, 'Axiom, 'Conservative-axiom, 'Define-function, 'Defobject, 'Defrelation}

Other Related Axioms:

(Exhaustive-Subclass-Partition Operator
                               (Setof Termop Sentop Ruleop Defop))