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