SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > part
Next BinaryPredicatepartiallyFills    UpBinaryPredicate, PartialOrderingRelation, SpatialRelation    Previous BinaryPredicateparent   

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  singleValuedinverseA Predicate relating two items - its valence is two
(=>
(instance ?REL BinaryPredicate)
(valence ?REL 2))
Predicate 
PartialOrderingRelation  trichotomizingOninverseA BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation
(=>
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(=>
(and
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
TransitiveRelation 
SpatialRelation  valencesubrelationThe Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations
(=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
Relation 
partSelfConnectedObjectSelfConnectedObjectvalencesubrelationThe 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
(=>
(overlapsPartially ?OBJ1 ?OBJ2)
(and
(not
(part ?OBJ1 ?OBJ2))
(not
(part ?OBJ2 ?OBJ1))))
 SpatialRelation

Next BinaryPredicatepartiallyFills    UpBinaryPredicate, PartialOrderingRelation, SpatialRelation    Previous BinaryPredicateparent