Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

wei4 zhi4 han2 shu4 (WhereFn)

Maps an Object and a TimePoint at which the Object exists to the Region where the Object existed at that TimePoint.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  er4 yuan2 han2 shu4  
is instance of
zhong3 lei4
is instance of
  ke3 ji4 cheng2 guan1 xi4  
is instance of
  kong1 jian1 guan1 xi4  
is instance of
is instance of
  wei4 zhi4 han2 shu4  

Coordinate term(s)

jia1 fa3 han2 shu4  fan3 mian4 han2 shu4  ri4 han2 shu4  mi4 du4 han2 shu4  chu2 fa3 han2 shu4  wen2 ben3 ban3 ben3 han2 shu4  zhi3 shu4 han2 shu4  zheng4 mian4 han2 shu4  tu2 lu4 jing4 han2 shu4  xiao3 shi2 han2 shu4  jiao1 ji2 han2 shu4  jian1 ge2 han2 shu4  zhong3 lei4 miao2 shu4 han2 shu4  lie4 jie2 han2 shu4  lie4 xu4 han2 shu4  dui4 shu4 han2 shu4  zui4 da4 zhi2 han2 shu4  zui4 da4 liang4 lu4 jing4 han2 shu4  ce4 liang4 han2 shu4  bu4 fen5 zheng3 ti1 cha4 yi4 han2 shu4  bu4 fen5 zheng3 ti1 jiao1 ji2 han2 shu4  bu4 fen5 zheng3 ti1 jia1 zong1 han2 shu4  zui4 xiao3 zhi2 han2 shu4  zui4 xiao3 liang4 lu4 jing4 han2 shu4  fen1 zhong1 han2 shu4  yue4 fen4 han2 shu4  cheng2 fa3 han2 shu4  qi1 kan1 yi1 qi1 han2 shu4  zhu3 ti1 han2 shu4  zhou1 qi1 xing4 shi2 ju4 han2 shu4  guan1 xi4 hu4 bu3 han2 shu4  xiang4 dui4 shi2 jian1 han2 shu4  yu2 shu4 han2 shu4  miao3 zhong1 han2 shu4  xi4 lie4 yi1 juan4 han2 shu4  biao3 pi2 han2 shu4  su4 du4 han2 shu4  jian3 fa3 han2 shu4  shi2 jian1 dan1 wei4 han2 shu4  shi2 jian1 li4 cheng2 han2 shu4  lian2 ji2 han2 shu4  jie4 yu1  xiang1 lian2 de5  xiang1 lian2  ju4 li2  dong4  da4 yu1  xiang4 dui4 fang1 wei4  bu4 fen5  bu4 fen5 tian2 chong1  bu4 fen5 wei4 yu1  xiao3 yu1  heng2 yue4 

Type restrictions

qu1 yu4 WhereFn(wu4 zhi4 de5, shi2 dian3)

Axioms (5)

wei4 zhi4 han2 shu4 na4 bu4 xiang1 guan1 yu1 cun2 zai4 shi2 jian1 han2 shu4. 
(relatedInternalConcept WhereFn WhenFn)
"thing zai4 time de5 timewei4 zhi4" deng3 yu1 region if and only if thing jing1 que4 wei4 yu1 region timea(zhi1 zhong1) time. 
(<=>
      (equal
            (WhereFn ?THING ?TIME)
            ?REGION)
      (holdsDuring
            ?TIME
            (exactlyLocated ?THING ?REGION)))
If process (bu2) qi3 yuan2s yu1 obj, then "process zai4 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""process cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4" wei4 yu1 "obj zai4 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3" de5 ""obj cun2 zai4 de5 shi2 jian1" de5 kai1 shi3"wei4 zhi4". 
(=>
      (origin ?PROCESS ?OBJ)
      (located
            (WhereFn
                  ?PROCESS
                  (BeginFn
                        (WhenFn ?PROCESS)))
            (WhereFn
                  ?OBJ
                  (BeginFn
                        (WhenFn ?OBJ)))))
If rel shi4 ge2 wei4 jue2 se4 de5 shi2 li4 and rel(process,obj) (bu2) cheng2 li4s, then there exists time so_that_not "process zai4 time de5 timewei4 zhi4" (mei2) yu3 obj zhong4 die2s. 
(=>
      (and
            (instance ?REL CaseRole)
            (holds ?REL ?PROCESS ?OBJ))
      (exists
            (?TIME)
            (overlapsSpatially
                  (WhereFn ?PROCESS ?TIME)
                  ?OBJ)))
(=>
      (instance ?ARTIFACT StationaryArtifact)
      (exists
            (?PLACE)
            (forall
                  (?TIME)
                  (=>
                        (and
                              (beforeOrEqual
                                    ?TIME
                                    (EndFn
                                          (WhenFn ?ARTIFACT)))
                              (beforeOrEqual
                                    (BeginFn
                                          (WhenFn ?ARTIFACT))
                                    ?TIME))
                        (equal
                              (WhereFn ?ARTIFACT ?TIME)
                              ?PLACE)))))