| 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 7103-7103 | |
| (documentation HourDuration JapaneseLanguage "時間単位。1時間 = 60分。") | japanese_format.kif 1287-1287 | |
| (instance HourDuration TimeDuration) | Merge.kif 7102-7102 | |
| (instance HourDuration UnitOfDuration) | Merge.kif 7101-7101 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Hour HourDuration) | Merge.kif 9463-9463 | |
| (termFormat ChineseLanguage HourDuration "小时") | domainEnglishFormat.kif 28729-28729 | |
| (termFormat ChineseTraditionalLanguage HourDuration "小時") | domainEnglishFormat.kif 28728-28728 | |
| (termFormat EnglishLanguage HourDuration "hour duration") | domainEnglishFormat.kif 28727-28727 |
| antecedent |
|
|
| (=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed))) |
Geography.kif 4010-4018 |
| consequent |
|
|
| (<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration)))) |
Weather.kif 1684-1690 | |
| (=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration)))) |
Geography.kif 4020-4026 | |
| (=> (instance ?FLOOD FlashFlooding) (exists (?WATER ?HOUR) (and (instance ?WATER WaterMotion) (causes ?WATER ?FLOOD) (meetsTemporally (WhenFn ?WATER) (WhenFn ?FLOOD)) (duration (WhenFn ?WATER) (MeasureFn ?HOUR HourDuration)) (lessThan ?HOUR 6.0)))) |
Weather.kif 1612-1624 | |
| (=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration))) |
Merge.kif 9467-9469 | |
| (=> (instance ?HR HeavyRaining) (holdsDuring (WhenFn ?HR) (exists (?AREA ?NUM) (and (instance ?AREA Region) (eventLocated ?HR ?AREA) (rainfallIntensity ?AREA (WhenFn ?HR) (PerFn (MeasureFn ?NUM Millimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 10.0) (greaterThan 50.0 ?NUM))))) |
Weather.kif 1093-1107 | |
| (=> (instance ?PROCESS Blizzard) (holdsDuring (WhenFn ?PROCESS) (exists (?AREA ?GALE ?DURATION) (and (instance ?AREA GeographicArea) (eventLocated ?PROCESS ?AREA) (surfaceWindSpeed ?AREA (MeasureFn ?GALE KnotUnitOfSpeed)) (greaterThan ?GALE 35.0) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3))))) |
Weather.kif 2609-2622 | |
| (=> (instance ?SNOWSTORM Snowstorm) (holdsDuring (WhenFn ?SNOWSTORM) (exists (?SNOW ?AREA ?NUM) (and (instance ?SNOW Snowing) (instance ?AREA GeographicArea) (eventLocated ?SNOW ?AREA) (subProcess ?SNOW ?SNOWSTORM) (snowfallIntensity ?AREA (WhenFn ?SNOW) (PerFn (MeasureFn ?NUM Centimeter) (MeasureFn 1 HourDuration))) (greaterThan ?NUM 5.0))))) |
Weather.kif 2923-2938 |
| statement |
|
|
| (diseaseIncubation Anthrax (MeasureFn 1 HourDuration) (MeasureFn 2 HourDuration)) |
WMD.kif 1141-1141 | |
| (diseaseIncubation Botulism (MeasureFn 2 HourDuration) (MeasureFn 8 DayDuration)) |
WMD.kif 336-336 | |
| (equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7097-7099 | |
| (equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7105-7107 |
|
|
|