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

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

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

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