Class DEFOP

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

Slots on this class:

Documentation:

KIF definitional operator

Subclass-Of: Operator

All-Instances: {

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