Class Operator

• Defined in ontology: Kif-meta
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-meta.lisp

Exhaustive-Subclass-Partition@Frame-Ontology: {

Defop, Ruleop, Sentop, Termop}

Superclass-Of@Frame-Ontology:

Defop, Ruleop, Sentop, Termop

Has-Instance@Frame-Ontology:

'<<=, '<=, '<=>, ':=, ':=>, '=>, '=>>, 'And, ':Axiom, 'Cond, ':Conservative-axiom, 'Define-function, 'Defobject, 'Defrelation, 'Exists, 'Forall, 'Kappa, 'Lambda, 'Listof, 'Not, 'Or, 'Quote, 'Setof, 'Setofall, 'The

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: KIF operator

---

Slots:

Implication Axioms for Operator:

(=> (Operator ?Expr) (Not (List ?Expr)))