Class Ruleop

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

Subclass-Of@Frame-Ontology: Operator

Has-Instance@Frame-Ontology: '<<=, '=>>

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

All-Instances@Frame-Ontology: {'<<=, '=>>}

Arity@Frame-Ontology: 1

Documentation@Ol%Frame-Ontology: KIF rule operator

---

Slots:

Frame References to Ruleop:

In class@frame-ontology Operator:

Exhaustive-Subclass-Partition@Frame-Ontology: {

Defop, Ruleop, Sentop, Termop}