Class Many-Many

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

Subclass-Of@Frame-Ontology: Binary-Relation, Relation, Set

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation, Set

Arity@Frame-Ontology: 1

---

Slots:

Arity@Frame-Ontology: 2

Implication Axioms for Many-Many:

(=> (Many-Many ?R) (Not (Function (Inverse ?R))))

(=> (Many-Many ?R) (Not (Function ?R)))

Equivalence Axioms for Many-Many:

(<=> (Many-Many ?R)
     (And (Binary-Relation ?R)
          (Not (Function ?R))
          (Not (Function (Inverse ?R)))))