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

# 日計 (DayDuration)

Time unit. 1 day = 24 hours.

## Ontology

SUMO / UNITS-OF-MEASURE

 量度單位

日計

 實體

抽象的

數量

物理量

常量

時間單位

持續時間

日計

## Related WordNet synsets

sidereal day, day
the time for one complete rotation of the earth relative to a particular star, about 4 minutes shorter than a mean solar day

daylong, all day long
during the entire day; "light pours daylong into the parlor"

## Axioms (19)

If number實數實例, then "number 日計(s)" 等於 ""number*" 時計(s)".
```(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER DayDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 24)
HourDuration)))```

If number實數實例, then "number 周計(s)" 等於 ""number*" 日計(s)".
```(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER WeekDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 7)
DayDuration)))```

If number實數實例, then "number 年計(s)" 等於 ""number*" 日計(s)".
```(=>
(instance ?NUMBER RealNumber)
(equal
(MeasureFn ?NUMBER YearDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 365)
DayDuration)))```

If month一月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH January)
(duration
?MONTH
(MeasureFn 31 DayDuration)))```

If "月份 二月" 等於 month and year閏年實例, then month持續 是 " 日計(s)".
```(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(not
(instance ?YEAR LeapYear)))
(duration
?MONTH
(MeasureFn 28 DayDuration)))```

If "月份 二月" 等於 month and year閏年實例, then month持續 是 " 日計(s)".
```(=>
(and
(equal
(MonthFn February ?YEAR)
?MONTH)
(instance ?YEAR LeapYear))
(duration
?MONTH
(MeasureFn 29 DayDuration)))```

If month三月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH March)
(duration
?MONTH
(MeasureFn 31 DayDuration)))```

If month四月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH April)
(duration
?MONTH
(MeasureFn 30 DayDuration)))```

If month五月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH May)
(duration
?MONTH
(MeasureFn 31 DayDuration)))```

If month六月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH June)
(duration
?MONTH
(MeasureFn 30 DayDuration)))```

If month七月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH July)
(duration
?MONTH
(MeasureFn 31 DayDuration)))```

If month八月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH August)
(duration
?MONTH
(MeasureFn 31 DayDuration)))```

If month九月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH September)
(duration
?MONTH
(MeasureFn 30 DayDuration)))```

If month十月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH October)
(duration
?MONTH
(MeasureFn 31 DayDuration)))```

If month十一月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH November)
(duration
?MONTH
(MeasureFn 30 DayDuration)))```

If month十二月實例, then month持續 是 " 日計(s)".
```(=>
(instance ?MONTH December)
(duration
?MONTH
(MeasureFn 31 DayDuration)))```

`(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))```