SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation > EquivalenceRelation > equivalentContentInstance
Next EquivalenceRelation: familyRelation    Up: EquivalenceRelation    Previous EquivalenceRelation: equivalentContentClass   

equivalentContentInstance comparison table
Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of have relatedInternalConcept
EquivalenceRelation  A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
TransitiveRelation  
equivalentContentInstanceContentBearingObjectContentBearingObjectA 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)
(=>
    (and
       (equivalentContentInstance ?SENT1 ?SENT2)
       (instance ?SENT1 Sentence)
       (instance ?SENT2 Sentence))
    (<=> ?SENT1 ?SENT2))
 EquivalenceRelationequivalentContentClass

Next EquivalenceRelation: familyRelation    Up: EquivalenceRelation    Previous EquivalenceRelation: equivalentContentClass