Class EQUIVALENCE-RELATION

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

Slots on this class:

Documentation:

A relation is an equivalence relation if it is reflexive, symmetric, and transitive.

Instance-Of: Class

Subclass-Of: Reflexive-relation, Symmetric-relation, Transitive-relation

Equivalence Axioms:

(<=> (Equivalence-Relation ?R)
     (And (Reflexive-Relation ?R)
          (Symmetric-Relation ?R)
          (Transitive-Relation ?R)))

Axioms:

(Transitive-Relation ?R)

(Symmetric-Relation ?R)

(Reflexive-Relation ?R)

Other Related Axioms:

(<=> (Equivalence-Relation ?R)
     (And (Reflexive-Relation ?R)
          (Symmetric-Relation ?R)
          (Transitive-Relation ?R)))