物質的 (Physical)

An entity that has a location in space-time. Note that locations are themselves understood to have a location in space-time.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

實體

物質的

Subclass(es)

物體歷程

Coordinate term(s)

抽象的

Constrains relations

存在時間函數位置函數共生日期距離有意圖施事者有意圖位於提及施事者呈現以...語言呈現時間

Related WordNet synsets

entity, something: anything having existence (living or nonliving)
phenomenon: any state or process known through the senses rather than by intuition or reasoning
natural order: the physical universe considered as an orderly system subject to natural (not human or supernatural) laws
spatiotemporal, spaciotemporal: existing in both space and time; having both spatial extension and temporal duration

See more related synsets on a separate page.

Axioms (11)

實體完全分割成物質的,抽象的.

(partition Entity Physical Abstract)

物質的完全分割成物體,歷程.

(partition Physical Object Process)

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 rel(inst1,inst2) (不) 成立s intervala(之中) interval and inst1 是物質的的實例 and inst2 是物質的的實例, then inst1 (不) 存在s interval 期間 and inst2 (不) 存在s interval 期間.

(=>
      (and
            (holdsDuring
                  ?INTERVAL
                  (holds ?REL ?INST1 ?INST2))
            (instance ?INST1 Physical)
            (instance ?INST2 Physical))
      (and
            (time ?INST1 ?INTERVAL)
            (time ?INST2 ?INTERVAL)))

If thing 是物質的的實例, then ""thing 存在的時間" 的 �}始" (沒) 發生?{s} 在 ""thing 存在的時間" 的結束" 之前.

(=>
      (instance ?THING Physical)
      (before
            (BeginFn
                  (WhenFn ?THING))
            (EndFn
                  (WhenFn ?THING))))

If thing 是物質的的實例, then ""thing 存在的時間" 之前" (沒) 相接s "thing 存在的時間".

(=>
      (instance ?THING Physical)
      (meetsTemporally
            (PastFn
                  (WhenFn ?THING))
            (WhenFn ?THING)))

If process 是物質的的實例, then ""process 存在的時間" 之前" 等於 "時間起點/亙古和 ""process 存在的時間" 的 �}始" 的間距".

(=>
      (instance ?PROCESS Physical)
      (equal
            (PastFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  NegativeInfinity
                  (BeginFn
                        (WhenFn ?PROCESS)))))

If thing 是物質的的實例, then ""thing 存在的時間" 不久之前" (沒) 完成s ""thing 存在的時間" 之前".

(=>
      (instance ?THING Physical)
      (finishes
            (ImmediatePastFn
                  (WhenFn ?THING))
            (PastFn
                  (WhenFn ?THING))))

If thing 是物質的的實例, then "thing 存在的時間" (沒) 相接s ""thing 存在的時間" 之後".

(=>
      (instance ?THING Physical)
      (meetsTemporally
            (WhenFn ?THING)
            (FutureFn
                  (WhenFn ?THING))))

If process 是物質的的實例, then ""process 存在的時間" 之後" 等於 """process 存在的時間" 的結束" 和時間終點/永遠的間距".

(=>
      (instance ?PROCESS Physical)
      (equal
            (FutureFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  (EndFn
                        (WhenFn ?PROCESS))
                  PositiveInfinity)))

If thing 是物質的的實例, then ""thing 存在的時間" 不久之後" (沒) �}始s ""thing 存在的時間" 之後".

(=>
      (instance ?THING Physical)
      (starts
            (ImmediateFutureFn
                  (WhenFn ?THING))
            (FutureFn
                  (WhenFn ?THING))))