SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > located |
located comparison table |
Subject | have domain2 | have domain1 | documentation | have axiom | is a kind of | is an instance of | have relatedInternalConcept |
---|---|---|---|---|---|---|---|
PartialOrderingRelation | A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation | (=> | TransitiveRelation | ||||
located | Object | Physical | A very general predicate. (located ?PHYS ?OBJ) means that ?PHYS is situated at ?OBJ, in some sense. The Predicates located and existant are spatial and temporal predicates, respectively | (=> | PartialOrderingRelation | existant |
Next PartialOrderingRelation: overlapsTemporally Up: PartialOrderingRelation Previous PartialOrderingRelation: lessThanOrEqualTo