Class MANY-TO-MANY-RELATION


Slots on this class:

Subclass-Of: Binary-relation

Axioms:

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