wu4 zhi4 de5 (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)

shi2 ti3

wu4 zhi4 de5

Subclass(es)

wu4 ti1 li4 cheng2

Coordinate term(s)

chou1 xiang4 de5

Constrains relations

cun2 zai4 shi2 jian1 han2 shu4 wei4 zhi4 han2 shu4 gong4 sheng1 ri4 qi1 ju4 li2 you3 yi4 tu2 shi1 shi4 zhe3 you3 yi4 tu2 wei4 yu1 ti2 ji2 shi1 shi4 zhe3 cheng2 xian4 yi3...yu3 yan2 cheng2 xian4 shi2 jian1

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)

shi2 ti3 wan2 quan2 fen1 ge1 cheng2 wu4 zhi4 de5,chou1 xiang4 de5.

(partition Entity Physical Abstract)

wu4 zhi4 de5 wan2 quan2 fen1 ge1 cheng2 wu4 ti1,li4 cheng2.

(partition Physical Object Process)

phys shi4 wu4 zhi4 de5 de5 shi2 li4 if and only if there exist loc,time so_that_not phys wei4 yu1 loc and phys (bu2) cun2 zai4s time qi1 jian1.

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

If rel(inst1,inst2) (bu2) cheng2 li4s intervala(zhi1 zhong1) interval and inst1 shi4 wu4 zhi4 de5 de5 shi2 li4 and inst2 shi4 wu4 zhi4 de5 de5 shi2 li4, then inst1 (bu2) cun2 zai4s interval qi1 jian1 and inst2 (bu2) cun2 zai4s interval qi1 jian1.

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

If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" (mei2) fa1 sheng1?{s} zai4 ""thing cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" zhi1 qian2.

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

If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" zhi1 qian2" (mei2) xiang1 jie1s "thing cun2 zai4 de5 shi2 jian1".

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

If process shi4 wu4 zhi4 de5 de5 shi2 li4, then ""process cun2 zai4 de5 shi2 jian1" zhi1 qian2" deng3 yu1 "shi2 jian1 qi3 dian3/gen4 gu3 he2 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 jian1 ju4".

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

If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 qian2" (mei2) wan2 cheng2s ""thing cun2 zai4 de5 shi2 jian1" zhi1 qian2".

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

If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then "thing cun2 zai4 de5 shi2 jian1" (mei2) xiang1 jie1s ""thing cun2 zai4 de5 shi2 jian1" zhi1 hou4".

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

If process shi4 wu4 zhi4 de5 de5 shi2 li4, then ""process cun2 zai4 de5 shi2 jian1" zhi1 hou4" deng3 yu1 """process cun2 zai4 de5 shi2 jian1" de5 jie2 shu4" he2 shi2 jian1 zhong1 dian3/yong3 yuan3 de5 jian1 ju4".

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

If thing shi4 wu4 zhi4 de5 de5 shi2 li4, then ""thing cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4" (mei2) kai1 shi3s ""thing cun2 zai4 de5 shi2 jian1" zhi1 hou4".

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