Class
MANY-MANY
Defined in theory:
Kif-relations
Source code:
kif-relations.lisp
Slots on this class:
Subclass-Of
:
Binary-relation
Axioms:
(<=> (
Many-Many
?R) (And (
Binary-Relation
?R) (Not (
Function
?R)) (Not (
Function
(
Inverse
?R)))))