Class MANY-TO-MANY-RELATION

Subclass-Of: Binary-relation
Axioms:
(<=> (Many-To-Many-Relation ?R)
     (And (Binary-Relation ?R) (Not #'?R) (Not #'(Inverse ?R))))