![]() |
![]() ![]()
|
![]() |
|
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 6812-6812 | |
(instance HourDuration TimeDuration) | Merge.kif 6811-6811 | Hour duration is an instance of time duration |
(instance HourDuration UnitOfDuration) | Merge.kif 6810-6810 | Hour duration is an instance of UnitOfDuration |
appearance as argument number 2 |
![]() |
(relatedInternalConcept Hour HourDuration) | Merge.kif 8812-8812 | Hour is internally related to hour duration |
(termFormat ChineseLanguage HourDuration "小时") | domainEnglishFormat.kif 28699-28699 | |
(termFormat ChineseTraditionalLanguage HourDuration "小時") | domainEnglishFormat.kif 28698-28698 | |
(termFormat EnglishLanguage HourDuration "hour duration") | domainEnglishFormat.kif 28697-28697 |
antecedent |
![]() |
(=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed))) |
Geography.kif 3731-3733 |
|
consequent |
![]() |
statement |
![]() |
(diseaseIncubation Anthrax (MeasureFn 1 HourDuration) (MeasureFn 2 HourDuration)) |
WMD.kif 1060-1060 | Anthrax disease incubation 1 hour duration(s) for 2 hour duration(s) |
(diseaseIncubation Botulism (MeasureFn 2 HourDuration) (MeasureFn 8 DayDuration)) |
WMD.kif 336-336 | Botulism disease incubation 2 hour duration(s) for 8 day duration(s) |
(equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 6806-6808 | A real number day duration(s) is equal to the real number and 24 hour duration(s) |
(equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 6814-6816 | A real number hour duration(s) is equal to the real number and 60 minute duration(s) |
![]() |
![]() |