Class BINARY-RELATION

A binary relation maps instances of a class to instances of another class. Its arity is 2. Binary relations are often shown as slots in frame systems.
Subclass-Of: Relation
Axioms:
(Inherited-Slot-Value Binary-Relation Arity 2)

(<=> (Binary-Relation ?Relation)
     (And (Relation ?Relation)
          (Not (Empty ?Relation))
          (Forall (?Tuple)
                  (=> (Member ?Tuple ?Relation) (Double ?Tuple)))))