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

# 日 (Day)

The Class of all calendar Days.

## Ontology

SUMO / TEMPORAL-CONCEPTS

 實體

抽象的

數量

物理量

常量

時間單位

時間

時段

## Related WordNet synsets

day
the recurring hours established by contract or usage for work; "it was a busy day on the stock exchange"

day, twenty-four hours, solar day, mean solar day
time for Earth to make a complete rotation on its axis; "two days later they left"; "they put on two performances every day"; "there are 30,000 passangers per day"

calendar day, civil day
a day reckoned from midnight to midnight

See more related synsets on a separate page.

## Axioms (6)

`(relatedInternalConcept Day DayFn)`

`(relatedInternalConcept Day DayDuration)`

If day實例, then day持續 是 " 日計(s)".
```(=>
(instance ?DAY Day)
(duration
?DAY
(MeasureFn 1 DayDuration)))```

If month實例 and month持續 是 "number 日計(s)", then ""month 分解成 ? s" 中 實例 的 數目" 等於 number.
```(=>
(and
(instance ?MONTH Month)
(duration
?MONTH
(MeasureFn ?NUMBER DayDuration)))
(equal
(CardinalityFn
(TemporalCompositionFn ?MONTH Day))
?NUMBER))```

If week實例, then ""week 分解成 ? s" 中 實例 的 數目" 等於 .
```(=>
(instance ?WEEK Week)
(equal
(CardinalityFn
(TemporalCompositionFn ?WEEK Day))
7))```

If day實例, then ""day 分解成 ? 小時s" 中 實例 的 數目" 等於 .
```(=>
(instance ?DAY Day)
(equal
(CardinalityFn
(TemporalCompositionFn ?DAY Hour))
24))```