SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation > EquivalenceRelation > equivalentContentInstance |
equivalentContentInstance | ||||
subject | fact |
equivalentContentInstance | documentation A BinaryPredicate relating two instances of ContentBearingObject. (equivalentContentInstance ?OBJ1 ?OBJ2) means that the content expressed by ?OBJ1 is identical to the content expressed by ?OBJ2. An example would be the relationship between a handwritten draft of a letter to one's lawyer and a typed copy of the same letter. Note that (equivalentContentInstance ?OBJ1 ?OBJ2) implies (subsumesContentInstance ?OBJ1 ?OBJ2) and (subsumesContentInstance ?OBJ2 ?OBJ2) | |
has axiom (<=> | ||
has axiom (=> | ||
has domain1 ContentBearingObject | ||
has domain2 ContentBearingObject | ||
has relatedInternalConcept equivalentContentClass | ||
is an instance of EquivalenceRelation | ||
BinaryRelation | is first domain of DomainFn | |
is first domain of equivalenceRelationOn | ||
is first domain of inverse | ||
is first domain of irreflexiveOn | ||
is first domain of partialOrderingOn | ||
is first domain of RangeFn | ||
is first domain of reflexiveOn | ||
is first domain of totalOrderingOn | ||
is first domain of trichotomizingOn | ||
is second domain of inverse | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next EquivalenceRelation: familyRelation Up: EquivalenceRelation Previous EquivalenceRelation: equivalentContentClass