SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation > EquivalenceRelation > equivalentContentInstance
Next EquivalenceRelationfamilyRelation    UpEquivalenceRelation    Previous EquivalenceRelationequivalentContentClass   

equivalentContentInstancedocumentation 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)2001-11-30 13:34:12.0
has axiom
(subsumesContentInstance ?OBJ1 ?OBJ2)
(subsumesContentInstance ?OBJ2 ?OBJ1))
(equivalentContentInstance ?OBJ1 ?OBJ2))
2001-11-30 13:34:12.0
has axiom
(equivalentContentInstance ?SENT1 ?SENT2)
(instance ?SENT1 Sentence)
(instance ?SENT2 Sentence))
(<=> ?SENT1 ?SENT2))
2001-11-30 13:34:12.0
has domain1 ContentBearingObject2001-11-30 13:34:12.0
has domain2 ContentBearingObject2001-11-30 13:34:12.0
has relatedInternalConcept equivalentContentClass2001-11-30 13:34:12.0
is an instance of EquivalenceRelation2001-11-30 13:34:12.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next EquivalenceRelationfamilyRelation    UpEquivalenceRelation    Previous EquivalenceRelationequivalentContentClass