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

時間歷程函數 (TimeIntervalFn)

A BinaryFunction that takes two TimePoints as arguments and returns the TimeInterval defined by these two TimePoints. Note that the first TimePoint must occur earlier than the second TimePoint.

Ontology

SUMO / TEMPORAL-CONCEPTS

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

時段 TimeIntervalFn(時點, 時點)

Related WordNet synsets

distance, space
the interval between two times; "the distance from birth to death"; "it all happened in the space of 10 minutes"
distance is kind of (all)...   distance is kind of...  

Axioms (4)

If "point1 和 point2 的 間距" 等於 interval, then "interval 的 �}始" 等於 point1 and "interval 的 結束" 等於 point2. 
(=>
      (equal
            (TimeIntervalFn ?POINT1 ?POINT2)
            ?INTERVAL)
      (and
            (equal
                  (BeginFn ?INTERVAL)
                  ?POINT1)
            (equal
                  (EndFn ?INTERVAL)
                  ?POINT2)))
If "point1 和 point2 的 間距" 等於 interval, then for all point holds: point 在 point1 和 point2 或 之間 if and only if point 是 interval 的 部分. 
(=>
      (equal
            (TimeIntervalFn ?POINT1 ?POINT2)
            ?INTERVAL)
      (forall
            (?POINT)
            (<=>
                  (temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
                  (temporalPart ?POINT ?INTERVAL))))
If process 是 物質的 的 實例, then ""process 存在 的 時間" 之前" 等於 "時間起點/亙古 和 ""process 存在 的 時間" 的 �}始" 的 間距". 
(=>
      (instance ?PROCESS Physical)
      (equal
            (PastFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  NegativeInfinity
                  (BeginFn
                        (WhenFn ?PROCESS)))))
If process 是 物質的 的 實例, then ""process 存在 的 時間" 之後" 等於 """process 存在 的 時間" 的 結束" 和 時間終點/永遠 的 間距". 
(=>
      (instance ?PROCESS Physical)
      (equal
            (FutureFn
                  (WhenFn ?PROCESS))
            (TimeIntervalFn
                  (EndFn
                        (WhenFn ?PROCESS))
                  PositiveInfinity)))