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

時段 (TimeInterval)

An interval of time. Note that a TimeInterval has both an extent and a location on the universal timeline. Note too that a TimeInterval has no gaps, i.e. this class contains only convex time intervals.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
實體
is subclass of
  抽象的  
is subclass of
  數量  
is subclass of
  物理量  
is subclass of
  常量  
is subclass of
  時間單位  
is subclass of
  時間  
is subclass of
  時段  

Subclass(es)

年  月  日  週  小時  分  秒 

Coordinate term(s)

時點 

Constrains relations

（時間）開始函數  （時間）結束函式  （時間）未來函式  最近未來時間函數  最近過去時間函數  過去時間函式  週期性時距函數  時間單位函數  時間歷程函數  存在時間函數  持續時間  期間  較早  完成  時段相接  時段重疊  開始 

Related WordNet synsets

time interval, interval
a definite length of time marked off by two instants
time interval is kind of (all)...   time interval is kind of...   kinds of time interval...   kinds of time interval (all)...  
See more related synsets on a separate page.

Axioms (4)

時間 完全 分割成 時段,時點. 
(partition TimePosition TimeInterval TimePoint)
If point 是 時點 的 實例, then there exists 時段 interval so that point 是 interval 的 部分. 
(=>
      (instance ?POINT TimePoint)
      (exists
            (?INTERVAL)
            (and
                  (instance ?INTERVAL TimeInterval)
                  (temporalPart ?POINT ?INTERVAL))))
If interval 是 時段 的 實例, then there exists 時點 point so that point 是 interval 的 部分. 
(=>
      (instance ?INTERVAL TimeInterval)
      (exists
            (?POINT)
            (and
                  (instance ?POINT TimePoint)
                  (temporalPart ?POINT ?INTERVAL))))
interval2 (沒) 與 1 ?重疊s if and only if there exists 時段 interval3 so that interval3 是 interval1 的 部分 and interval3 是 interval2 的 部分. 
(<=>
      (overlapsTemporally ?INTERVAL1 ?INTERVAL2)
      (exists
            (?INTERVAL3)
            (and
                  (instance ?INTERVAL3 TimeInterval)
                  (temporalPart ?INTERVAL3 ?INTERVAL1)
                  (temporalPart ?INTERVAL3 ?INTERVAL2))))