SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > located
Next PartialOrderingRelation: overlapsTemporally    Up: PartialOrderingRelation    Previous PartialOrderingRelation: lessThanOrEqualTo   

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
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
TransitiveRelation  
locatedObjectPhysicalA 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
(=>
 	(and
 		(instance ?VIRUS Virus)
 		(instance ?PROC Replication)
 		(effector ?PROC ?VIRUS))
 	(exists (?CELL)
 		(and
 			(located ?PROC ?CELL)
 			(instance ?CELL Cell))))
 PartialOrderingRelationexistant

Next PartialOrderingRelation: overlapsTemporally    Up: PartialOrderingRelation    Previous PartialOrderingRelation: lessThanOrEqualTo