Class MANY-TO-MANY-RELATION

• Defined in theory: Frame-ontology
• Source code: frame-ontology.lisp

Slots on this class:

Instance-Of: Class

Subclass-Of: Binary-relation

Equivalence Axioms:

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

Axioms:

(Not (Function (Inverse ?R)))

(Not (Function ?R))

(Binary-Relation ?R)

Other Related Axioms:

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