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 est une instance de dur�e temporel |
(instance HourDuration UnitOfDuration) | Merge.kif 7091-7091 | HourDuration est une instance de UnitOfDuration |
appearance as argument number 2 |
(relatedInternalConcept Hour HourDuration) | Merge.kif 9342-9342 | Heure est reli� � l'int�rieur de SUMO � HourDuration |
(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 | Nombre r�el DayDuration(s) est nombre r�el + 24 HourDuration(s) |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7095-7097 | Nombre r�el HourDuration(s) est nombre r�el + 60 MinuteDuration(s) |