HourDuration
|
|
appearance as argument number 1 |
(documentation HourDuration ChineseLanguage "这是时间单位,1小时 = 60分钟。") | chinese_format.kif 2580-2580 | |
(documentation HourDuration EnglishLanguage "Time unit. 1 hour = 60 minutes.") | Merge.kif 7093-7093 | |
(documentation HourDuration JapaneseLanguage "時間単位。1時間 = 60分。") | japanese_format.kif 1287-1287 | |
(instance HourDuration TimeDuration) | Merge.kif 7092-7092 | 例 小時 and TimeDuration |
(instance HourDuration UnitOfDuration) | Merge.kif 7091-7091 | 例 小時 and UnitOfDuration |
appearance as argument number 2 |
(relatedInternalConcept Hour HourDuration) | Merge.kif 9342-9342 | 相關的內部概念 Hour and 小時 |
(termFormat ChineseLanguage HourDuration "小时") | domainEnglishFormat.kif 28701-28701 | |
(termFormat ChineseTraditionalLanguage HourDuration "小時") | domainEnglishFormat.kif 28700-28700 | |
(termFormat EnglishLanguage HourDuration "hour duration") | domainEnglishFormat.kif 28699-28699 |
antecedent |
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed))) |
Geography.kif 3929-3937 |
|
consequent |
statement |
(diseaseIncubation Anthrax (MeasureFn 1 HourDuration) (MeasureFn 2 HourDuration)) |
WMD.kif 1141-1141 | 炭疽病 對於 %3 disease 孵化 |
(diseaseIncubation Botulism (MeasureFn 2 HourDuration) (MeasureFn 8 DayDuration)) |
WMD.kif 336-336 | 肉毒中毒 對於 %3 disease 孵化 |
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7087-7089 | 等於 測量 RealNumber and 一天長度 and 測量 乘法 RealNumber and 24 and 小時 |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7095-7097 | 等於 測量 RealNumber and 小時 and 測量 乘法 RealNumber and 60 and 分鐘 |