位於 (located)

A very general predicate. (located phys obj) means that phys is situated at obj, in some sense. The Predicates located and time are spatial and temporal predicates, respectively.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

偏序關係

位於

Superrelation(s)

部分位於

位於

Subrelation(s)

部分精確位於部分填充

Coordinate term(s)

先於或同時大於或等於小於或等於部分次屬性次序列次歷程次種類次關係包含訊息種類包含訊息實例

Type restrictions

located(物質的, 物體)

Related WordNet synsets

location: a point or extent in space
ubiety: the state of existing and being localized in space

See more related synsets on a separate page.

Axioms (23)

phys 是物質的的實例 if and only if there exist loc,time so that phys 位於 loc and phys (不) 存在s time 期間.

(<=>
      (instance ?PHYS Physical)
      (exists
            (?LOC ?TIME)
            (and
                  (located ?PHYS ?LOC)
                  (time ?PHYS ?TIME))))

If region 是區域的實例, then there exists phys so that phys 位於 region.

(=>
      (instance ?REGION Region)
      (exists
            (?PHYS)
            (located ?PHYS ?REGION)))

abs 是抽象的的實例 if and only if there doesn't exist point so that abs 位於 point or abs (不) 存在s point 期間.

(<=>
      (instance ?ABS Abstract)
      (not
            (exists
                  (?POINT)
                  (or
                        (located ?ABS ?POINT)
                        (time ?ABS ?POINT)))))

位於內部相關於時間.

(relatedInternalConcept located time)

if obj 位於 region,
then for all subobj holds: if subobj 是 obj 的部分), then subobj 位於 region

(=>
      (located ?OBJ ?REGION)
      (forall
            (?SUBOBJ)
            (=>
                  (part ?SUBOBJ ?OBJ)
                  (located ?SUBOBJ ?REGION))))

If 抑制(proc1,proc2) holds, then for all time,place holds: "there exists proc1 inst1 so that inst1 位於 place timea(之中) time" (不）降低s) %2 的可能性.

(=>
      (inhibits ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (decreasesLikelihood
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST2)
                              (and
                                    (instance ?INST2 ?PROC2)
                                    (located ?INST2 ?PLACE)))))))

if proc1 避免 proc2 的發生,
then for all time,place holds: if there exists proc1 inst1 so that inst1 位於 place timea(之中) time, then there exists proc2 inst2 so that inst2 位於 place timea(之中) time

(=>
      (prevents ?PROC1 ?PROC2)
      (forall
            (?TIME ?PLACE)
            (=>
                  (holdsDuring
                        ?TIME
                        (exists
                              (?INST1)
                              (and
                                    (instance ?INST1 ?PROC1)
                                    (located ?INST1 ?PLACE))))
                  (not
                        (holdsDuring
                              ?TIME
                              (exists
                                    (?INST2)
                                    (and
                                          (instance ?INST2 ?PROC2)
                                          (located ?INST2 ?PLACE))))))))

If process (不) �_源s 於 obj, then "process 在 ""process 存在的時間" 的 �}始" 的 ""process 存在的時間" 的 �}始"位置" 位於 "obj 在 ""obj 存在的時間" 的 �}始" 的 ""obj 存在的時間" 的 �}始"位置".

(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))

if subproc 是 proc 的次歷�{,
then for all region holds: if proc 位於 region, then subproc 位於 region

(=>
      (subProcess ?SUBPROC ?PROC)
      (forall
            (?REGION)
            (=>
                  (located ?PROC ?REGION)
                  (located ?SUBPROC ?REGION))))

If proc 是生物歷程的實例, then there exists 生物體 obj so that proc 位於 obj.

(=>
      (instance ?PROC BiologicalProcess)
      (exists
            (?OBJ)
            (and
                  (instance ?OBJ Organism)
                  (located ?PROC ?OBJ))))

If proc 是器官或組織歷程的實例, then there exists thing so that proc 位於 thing and thing 是器官的實例 or thing 是組織的實例.

(=>
      (instance ?PROC OrganOrTissueProcess)
      (exists
            (?THING)
            (and
                  (located ?PROC ?THING)
                  (or
                        (instance ?THING Organ)
                        (instance ?THING Tissue)))))

If motion 是移動的實例 and obj 是 motion 的受事者 and motion (不) �_源s 於 place, then obj 位於 place ""motion 存在的時間" 不久之前"a(之中) "motion 存在的時間" 不久之前.

(=>
      (and
            (instance ?MOTION Motion)
            (patient ?MOTION ?OBJ)
            (origin ?MOTION ?PLACE))
      (holdsDuring
            (ImmediatePastFn
                  (WhenFn ?MOTION))
            (located ?OBJ ?PLACE)))

If motion 是移動的實例 and obj 是 motion 的受事者 and motion (不) 終結not(s) place, then obj 位於 place ""motion 存在的時間" 不久之後"a(之中) "motion 存在的時間" 不久之後.

(=>
      (and
            (instance ?MOTION Motion)
            (patient ?MOTION ?OBJ)
            (destination ?MOTION ?PLACE))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?MOTION))
            (located ?OBJ ?PLACE)))

If walk 是行走的實例 and walk 是 agent 的施事者, then there exists 陸地 area so that agent 位於 area.

(=>
      (and
            (instance ?WALK Walking)
            (agent ?WALK ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA LandArea)
                  (located ?AGENT ?AREA))))

If swim 是遊泳的實例 and swim 是 agent 的施事者, then there exists 水域 area so that agent 位於 area.

(=>
      (and
            (instance ?SWIM Swimming)
            (agent ?SWIM ?AGENT))
      (exists
            (?AREA)
            (and
                  (instance ?AREA WaterArea)
                  (located ?AGENT ?AREA))))

If remove 是移除的實例 and remove (不) �_源s 於 place and obj 是 remove 的受事者, then obj 位於 place ""remove 存在的時間" 不久之前"a(之中) "remove 存在的時間" 不久之前 and obj 位於 place ""remove 存在的時間" 不久之後"a(之中) "remove 存在的時間" 不久之後.

(=>
      (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)))))

If put 是放置的實例 and put (不) 終結not(s) place and obj 是 put 的受事者, then obj 位於 place ""put 存在的時間" 不久之前"a(之中) "put 存在的時間" 不久之前 and obj 位於 place ""put 存在的時間" 不久之後"a(之中) "put 存在的時間" 不久之後.

(=>
      (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))))

if keep 是保有的實例 and obj 是 keep 的受事者,
then there exists place so that for all time holds: if time 是 "keep 存在的時間" 的部分, then obj 位於 place timea(之中) time

(=>
      (and
            (instance ?KEEP Keeping)
            (patient ?KEEP ?OBJ))
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (temporalPart
                              ?TIME
                              (WhenFn ?KEEP))
                        (holdsDuring
                              ?TIME
                              (located ?OBJ ?PLACE))))))

If organism 住s 在 obj, then there exists time so that organism 位於 obj timea(之中) time.

(=>
      (inhabits ?ORGANISM ?OBJ)
      (exists
            (?TIME)
            (holdsDuring
                  ?TIME
                  (located ?ORGANISM ?OBJ))))

If virus 是病毒的實例 and proc 是複製的實例 and proc 是 virus 的施事者, then there exists 細胞 cell so that proc 位於 cell.

(=>
      (and
            (instance ?VIRUS Virus)
            (instance ?PROC Replication)
            (agent ?PROC ?VIRUS))
      (exists
            (?CELL)
            (and
                  (located ?PROC ?CELL)
                  (instance ?CELL Cell))))

If building 是建築物的實例, then there exists 人類 human so that

human 住s 在 building
there exists act so that act 是 human 的施事者 and act 位於 building

(=>
      (instance ?BUILDING Building)
      (exists
            (?HUMAN)
            (and
                  (instance ?HUMAN Human)
                  (or
                        (inhabits ?HUMAN ?BUILDING)
                        (exists
                              (?ACT)
                              (and
                                    (agent ?ACT ?HUMAN)
                                    (located ?ACT ?BUILDING)))))))

If obj1 對 obj2 是在...上, then obj1 位於 obj2.

(=>
      (orientation ?OBJ1 ?OBJ2 On)
      (located ?OBJ1 ?OBJ2))

If 胚胎的是 org 的屬性, then there exists 生殖構造 body so that org 位於 body.

(=>
      (attribute ?ORG Embryonic)
      (exists
            (?BODY)
            (and
                  (instance ?BODY ReproductiveBody)
                  (located ?ORG ?BODY))))