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

 實體

抽象的

數量

物理量

常量

時間單位

時間

時段

小時

## Constrains relations

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

## Related WordNet synsets

time interval, interval
a definite length of time marked off by two instants

See more related synsets on a separate page.

## Axioms (4)

`(partition TimePosition TimeInterval TimePoint)`

If point時點實例, then there exists 時段 interval so that pointinterval部分.
```(=>
(instance ?POINT TimePoint)
(exists
(?INTERVAL)
(and
(instance ?INTERVAL TimeInterval)
(temporalPart ?POINT ?INTERVAL))))```

If interval時段實例, then there exists 時點 point so that pointinterval部分.
```(=>
(instance ?INTERVAL TimeInterval)
(exists
(?POINT)
(and
(instance ?POINT TimePoint)
(temporalPart ?POINT ?INTERVAL))))```

interval2 (沒) 與 1 ?重疊s if and only if there exists 時段 interval3 so that interval3interval1部分 and interval3interval2部分.
```(<=>
(overlapsTemporally ?INTERVAL1 ?INTERVAL2)
(exists
(?INTERVAL3)
(and
(instance ?INTERVAL3 TimeInterval)
(temporalPart ?INTERVAL3 ?INTERVAL1)
(temporalPart ?INTERVAL3 ?INTERVAL2))))```