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

位置函數 (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)

種類
is instance of
  可繼承關係  
is instance of
  二元函數  
is instance of
種類
is instance of
  可繼承關係  
is instance of
  空間關係  
is instance of
is instance of
  位置函數  

Coordinate term(s)

加法函數  反面函數  日函數  密度函數  除法函數  （文本）版本函數  指數函數  正面函數  圖路徑函數  小時函數  交集函數  間隔函數  種類描述函數  列結函數  列序函數  對數函數  最大值函數  最大量路徑函數  測量函數  部分整體差異函數  部分整體交集函數  部分整體加總函數  最小值函數  最小量路徑函數  分鐘函數  月份函數  乘法函數  期刊一期函數  主體函數  週期性時距函數  關係互補函數  相對時間函數  餘數函數  秒鐘函數  系列一卷函數  表皮函數  速度函數  減法函數  時間單位函數  時間歷程函數  聯集函數  介於  相連的  相連  距離  洞  大於  相對方位  部分  部分填充  部分位於  小於  橫越 

Type restrictions

區域 WhereFn(物質的, 時點)

Axioms (5)

位置函數 內部相關於 存在時間函數. 
(relatedInternalConcept WhereFn WhenFn)
"thing 在 time 的 time位置" 等於 region if and only if thing 精確位於 region timea(之中) time. 
(<=>
      (equal
            (WhereFn ?THING ?TIME)
            ?REGION)
      (holdsDuring
            ?TIME
            (exactlyLocated ?THING ?REGION)))
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 rel 是 格位角色 的 實例 and rel(process,obj) (不) 成立s, then there exists time so that "process 在 time 的 time位置" (沒) 與 obj 重�|s. 
(=>
      (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)))))