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 | HourDuration は 時間分 の instance では %n |
(instance HourDuration UnitOfDuration) | Merge.kif 7091-7091 | HourDuration は UnitOfDuration の instance では %n |
appearance as argument number 2 |
(relatedInternalConcept Hour HourDuration) | Merge.kif 9342-9342 | 時間 は HourDuration に internally 関連して %n |
(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 | diseaseIncubation Anthrax, 1 の HourDuration(s) and 2 の HourDuration(s) |
(diseaseIncubation Botulism (MeasureFn 2 HourDuration) (MeasureFn 8 DayDuration)) |
WMD.kif 336-336 | diseaseIncubation Botulism, 2 の HourDuration(s) and 8 の DayDuration(s) |
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7087-7089 | 実数 の DayDuration(s) は 実数 + 24 の HourDuration(s) と equal では %n |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7095-7097 | 実数 の HourDuration(s) は 実数 + 60 の MinuteDuration(s) と equal では %n |