Class Equivalence-Relation

• Defined in ontology: Frame-ontology
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/ontolingua/../../all-ontologies/ontolingua/frame-ontology.lisp

Arity: 1

Documentation:

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

Instance-Of: Class, Relation, Set

Subclass-Of:

Reflexive-Relation, Reflexive-Relation, Symmetric-Relation, Symmetric-Relation, Transitive-Relation ...

---

Slots:

Arity: 2

Equivalence Axioms for Equivalence-Relation:

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