時計 (HourDuration)
Time unit. 1 hour = 60 minutes.
Ontology
SUMO / UNITS-OF-MEASUREClass(es)
Superclass(es)
Coordinate term(s)
原子質量單位
光譜線波長單位
角度
atom gram
位元
英國熱量單位-BTU
位元組
熱量的單位-卡路里
公分
半品脫之量
日計
電壓單位-電伏特
歐元一分
歐元一元
華氏-度
英尺
英吋
千位元組
公升
百萬位元組
英里
分計
盎司
品脫
力量單位
磅
容量或液量單位
摩擦角度
秒計
質量單位
英制液量單位-加侖
美元一分
美元一元
美制液量單位-加侖
周計
年計
Related WordNet synsets
- sidereal hour
- 1/24 of a sidereal day
- hour, hr, 60 minutes
- a period of time equal to 1/24th of a day; "the job will take more than an hour"
- horary
- (archaic) relating to the hours; "the horary cycle"
Axioms (4)
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 HourDuration)
(MeasureFn
(MultiplicationFn ?NUMBER 60)
MinuteDuration)))
小時 內部相關於 時計.
(relatedInternalConcept Hour HourDuration)
If hour 是 小時 的 實例, then hour 的 持續 是 " 時計(s)".
(=>
(instance ?HOUR Hour)
(duration
?HOUR
(MeasureFn 1 HourDuration)))