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 (<=> (and (subsumesContentInstance ?OBJ1 ?OBJ2) (subsumesContentInstance ?OBJ2 ?OBJ1)) (equivalentContentInstance ?OBJ1 ?OBJ2))
	has axiom (=> (and (equivalentContentInstance ?SENT1 ?SENT2) (instance ?SENT1 Sentence) (instance ?SENT2 Sentence)) (<=> ?SENT1 ?SENT2))
	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