Subject |
have domain2 |
have domain1 |
be first domain of |
be second domain of |
documentation |
have axiom |
is an instance of |
have relatedInternalConcept |
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 | |