Class
MANY-TO-MANY-RELATION
Subclass-Of
:
Binary-relation
Axioms:
(<=> (
Many-To-Many-Relation
?R) (And (
Binary-Relation
?R) (Not #'?R) (Not #'(
Inverse
?R))))
Defined in theory:
Frame-ontology
Source code:
frame-ontology.lisp