Class MANY-MANY

Subclass-Of: Binary-relation

Axioms:

(<=> (Many-Many ?R)
     (And (Binary-Relation ?R) (Not #'?R) (Not #'(Inverse ?R))))

• Defined in theory: Kif-relations
• Source code: kif-relations.lisp