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

located
subjectfact 
locateddocumentation 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, respectively2001-11-30 13:34:37.0
has axiom 
(<=> 
 	(instance ?ABS Abstract)
       	(not 
 	      (exists (?POINT) 
                    (or 
 		        (located ?ABS ?POINT)
                     (existant ?ABS ?POINT)))))
2001-11-30 13:34:37.0
has axiom 
(<=> 
 	(instance ?PHYS Physical)
 	(exists (?LOC ?TIME)
      		(and 
 			(located ?PHYS ?LOC)
                   (existant ?PHYS ?TIME))))
2001-11-30 13:34:37.0
has axiom 
(=>
     (instance ?PROC ?OrganOrTissueProcess)
     (exists (?THING)
         (and
             (located ?PROC ?THING)
             (or
                 (instance ?THING Organ)
                 (instance ?THING Tissue)))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (and
       (instance ?MOTION Motion)
       (patient ?MOTION ?OBJ)
       (origin ?MOTION ?PLACE))
    (holdsDuring (ImmediatePastFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
2001-11-30 13:34:37.0
has axiom 
(=>
    (and
       (instance ?MOTION Motion)
       (patient ?MOTION ?OBJ)
       (destination ?MOTION ?PLACE))
    (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
2001-11-30 13:34:37.0
has axiom 
(=>
    (and
       (instance ?PUT Putting)
       (destination ?PUT ?PLACE)
       (patient ?PUT ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE)))
       (holdsDuring (ImmediateFutureFn (WhenFn ?PUT)) (located ?OBJ ?PLACE))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (and
       (instance ?REMOVE Removing)
       (origin ?REMOVE ?PLACE)
       (patient ?REMOVE ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE))
       (holdsDuring (ImmediateFutureFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE)))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (instance ?BUILDING Building)
    (exists (?HUMAN)
       (and
          (instance ?HUMAN Human)
          (or
             (inhabits ?HUMAN ?BUILDING)
             (exists (?ACT)
                (and
                   (agent ?ACT ?HUMAN)
                   (located ?ACT ?BUILDING)))))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (instance ?PROC BiologicalProcess)
    (exists (?OBJ)
       (and
          (instance ?OBJ Organism)
          (located ?PROC ?OBJ))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (located ?OBJ ?REGION)
    (forall (?SUBOBJ)
       (=>
          (part ?SUBOBJ ?OBJ)
          (located ?SUBOBJ ?REGION))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (origin ?PROCESS ?OBJ)
    (located (WhereFn ?PROCESS (BeginFn (WhenFn ?PROCESS))) (WhereFn ?OBJ (BeginFn (WhenFn ?OBJ)))))
2001-11-30 13:34:37.0
has axiom 
(=>
    (subProcess ?SUBPROC ?PROC)
    (forall (?REGION)
       (=>
          (located ?PROC ?REGION)
          (located ?SUBPROC ?REGION))))
2001-11-30 13:34:37.0
has axiom 
(=>
 	(and
 		(instance ?VIRUS Virus)
 		(instance ?PROC Replication)
 		(effector ?PROC ?VIRUS))
 	(exists (?CELL)
 		(and
 			(located ?PROC ?CELL)
 			(instance ?CELL Cell))))
2001-11-30 13:34:37.0
has domain1 Physical2001-11-30 13:34:37.0
has domain2 Object2001-11-30 13:34:37.0
has relatedInternalConcept existant2001-11-30 13:34:37.0
is an instance of PartialOrderingRelation2001-11-30 13:34:37.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next PartialOrderingRelation: overlapsTemporally    Up: PartialOrderingRelation    Previous PartialOrderingRelation: lessThanOrEqualTo