Class DEFOP

KIF definitional operator
Subclass-Of: Operator
All-Instances: {
'Defobject, 'Define-function, 'Defrelation, '=, '=>, 'Axiom, 'Conservative-axiom}