SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > part |
part comparison table |
Subject | have domain2 | have domain1 | be first domain of | be second domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|---|
BinaryPredicate | singleValued | inverse | A Predicate relating two items - its valence is two | (=> | Predicate | |||
PartialOrderingRelation | trichotomizingOn | inverse | A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation | (=> | TransitiveRelation | |||
SpatialRelation | valence | subrelation | The Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations | (=> | Relation | |||
part | SelfConnectedObject | SelfConnectedObject | valence | subrelation | The basic mereological relation. All other mereological relations are defined in terms of this one. (part ?PART ?WHOLE) simply means that the Object ?PART is part of the Object ?WHOLE. Note that, since part is a ReflexiveRelation, every Object is a part of itself | (=> | SpatialRelation |
Next BinaryPredicate: partiallyFills Up: BinaryPredicate, PartialOrderingRelation, SpatialRelation Previous BinaryPredicate: parent