Class Many-To-Many-Relation

Arity: 1
Instance-Of: Class, Relation, Set
Subclass-Of: Binary-Relation, Relation, Set


Slots:

Arity: 2

Implication Axioms for Many-To-Many-Relation:

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

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


Equivalence Axioms for Many-To-Many-Relation:

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