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

equivalentContentClass comparison table
Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of
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 
equivalentContentClassContentBearingObjectContentBearingObjectA BinaryPredicate that relates two subclasses of ContentBearingObject. (equivalentContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS1 is also expressed by each instance of ?CLASS2, and vice versa. An example would be the relationship between English and Russian editions of Agatha Christie's 'Murder on the Orient Express'. Note that (equivalentContentClass ?CLASS1 ?CLASS2) implies (subsumesContentClass ?CLASS1 ?CLASS2) and (subsumesContentClass ?CLASS2 ?CLASS1)
(<=>
    (and
       (subsumesContentClass ?CLASS1 ?CLASS2)
       (subsumesContentClass ?CLASS2 ?CLASS1))
    (equivalentContentClass ?CLASS1 ?CLASS2))
 EquivalenceRelation

Next EquivalenceRelation: equivalentContentInstance    Up: EquivalenceRelation    Previous EquivalenceRelation: equal