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

時間介於 (temporallyBetween)

(temporallyBetween point1 point2 point3) means that the TimePoint point2 is between the TimePoints point1 and point3, i.e. point1 is before point2 and point2 is before point3.

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
  時間介於  

Superrelation(s)

時間介於或同時
is subrelation of
  時間介於  

Coordinate term(s)

（時間）開始函數  日函數  （時間）結束函式  （時間）未來函式  小時函數  最近未來時間函數  最近過去時間函數  分鐘函數  月份函數  過去時間函式  週期性時距函數  相對時間函數  秒鐘函數  時間單位函數  時間歷程函數  存在時間函數  年份函數  標高  先於  先於或同時  介於  能力  條件或然率  賦予義務  賦予權力  相連  共生  深度  距離  領域  領域次種類  較早  完成  施事者有意圖  連結  時段相接  有...職位  相對方位  時段重疊  偏愛  SUMO外部相關概念  施事者呈現  以...語言呈現  時間介於或同時  時間 

Type restrictions

temporallyBetween(時點, 時點, 時點)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (3)

If point 是 時點 的 實例 and point 等於 時間終點/永遠, then there exists otherpoint so that otherpoint 在 point 和 時間終點/永遠 之間 . 
(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT PositiveInfinity)))
      (exists
            (?OTHERPOINT)
            (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
If point 是 時點 的 實例 and point 等於 時間起點/亙古, then there exists otherpoint so that otherpoint 在 時間起點/亙古 和 point 之間 . 
(=>
      (and
            (instance ?POINT TimePoint)
            (not
                  (equal ?POINT NegativeInfinity)))
      (exists
            (?OTHERPOINT)
            (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
point2 在 point1 和 point3 之間 if and only if point1 (沒) 發生?{s} 在 point2 之前 and point2 (沒) 發生?{s} 在 point3 之前. 
(<=>
      (temporallyBetween ?POINT1 ?POINT2 ?POINT3)
      (and
            (before ?POINT1 ?POINT2)
            (before ?POINT2 ?POINT3)))