Class BINARY-RELATION

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

Slots on this class:

Documentation:

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

---

Slots on instances of this class:

Arity: 2

Axioms:

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