SUMO   View all facts   Glossary   Help Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation > EquivalenceRelation
Next ReflexiveRelationPartialOrderingRelation    UpReflexiveRelation, SymmetricRelation, TransitiveRelation    Previous ReflexiveRelationconnected

 EquivalenceRelation comparison table
 have domain2 have domain1 be first domain of be second domain of documentation have axiom is an instance of have relatedInternalConcept Subject adjacent trichotomizingOn inverse (adjacent ?OBJ1 ?OBJ2) means that ?OBJ1 is close to, near or abutting ?OBJ2 with no other structure of the same kind intervening. This Predicate covers the following relations: adjoins, abuts, is contiguous to, is juxtaposed, and is close to `(=> (adjacent ?OBJ1 ?OBJ2) (or (near ?OBJ1 ?OBJ2) (connected ?OBJ1 ?OBJ2)))` EquivalenceRelation along trichotomizingOn inverse (along ?OBJ1 ?OBJ2) means that the Object ?OBJ1 shares the area of ?OBJ2 at least as far the extension of one dimension is concerned `(=> (and (along ?OBJ1 ?OBJ2) (along ?OBJ3 ?OBJ2)) (connects ?OBJ2 ?OBJ1 ?OBJ3))` EquivalenceRelation traverses cooccur Physical Physical valence subrelation (cooccur ?THING1 ?THING2) means that the Object or Process ?THING1 occurs at the same time as, together with, or jointly with the Object or Process ?THING2. This covers the following temporal relations: is co-incident with, is concurrent with, is contemporaneous with, and is concomitant with `(<=> (cooccur ?PHYS1 ?PHYS2) (equal (WhenFn ?PHYS1) (WhenFn ?PHYS2))) ` TemporalRelation copy Object Object singleValued inverse relates an Object to an exact copy of the Object, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/or temporal location `(=> (copy ?OBJ1 ?OBJ2) (forall (?ATTR) (=> (attribute ?OBJ1 ?ATTR) (attribute ?OBJ2 ?ATTR))))` EquivalenceRelation equal Entity Entity valence subrelation (equal ?ENTITY1 ?ENTITY2) is true just in case ?ENTITY1 is identical with ?ENTITY2 `(=> (and (instance ?REL RelationExtendedToQuantities) (instance ?REL BinaryRelation) (instance ?NUMBER1 RealNumber) (instance ?NUMBER2 RealNumber) (holds ?REL ?NUMBER1 ?NUMBER2)) (forall (?UNIT) (=> (instance ?UNIT UnitOfMeasure) (holds ?REL (MeasureFn ?NUMBER1 ?UNIT) (MeasureFn ?NUMBER2 ?UNIT)))))` RelationExtendedToQuantities equivalentContentClass ContentBearingObject ContentBearingObject trichotomizingOn inverse A 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 equivalentContentInstance ContentBearingObject ContentBearingObject trichotomizingOn inverse 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) `(=> (and (equivalentContentInstance ?SENT1 ?SENT2) (instance ?SENT1 Sentence) (instance ?SENT2 Sentence)) (<=> ?SENT1 ?SENT2))` EquivalenceRelation equivalentContentClass familyRelation Organism Organism singleValued inverse A very general Predicate for biological relationships. (familyRelation ?ORGANISM1 ?ORGANISM2) means that ?ORGANISM1 and ?ORGANISM2 are biologically derived from a common ancestor `(=> (instance ?GROUP FamilyGroup) (forall (?MEMB1 ?MEMB2) (=> (and (member ?MEMB1 ?GROUP) (member ?MEMB2 ?GROUP)) (familyRelation ?MEMB1 ?MEMB2)))) ` EquivalenceRelation near trichotomizingOn inverse The relation of common sense adjacency without contact. (near ?OBJ1 ?OBJ2) means that ?OBJ1 is near ?OBJ2 `(=> (along ?OBJ1 ?OBJ2) (near ?OBJ1 ?OBJ2))` EquivalenceRelation relatedInternalConcept Entity Entity singleValued inverse Means that the two arguments are related concepts within the SUMO, i.e. there is a significant similarity of meaning between them. To indicate a meaning relation between a SUMO concept and a concept from another source, use the Predicate relatedExternalConcept `(=> (instance ?REL BinaryPredicate) (valence ?REL 2))` EquivalenceRelation

Next ReflexiveRelationPartialOrderingRelation    UpReflexiveRelation, SymmetricRelation, TransitiveRelation    Previous ReflexiveRelationconnected