| 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 6997-6997 | |
| (instance HourDuration TimeDuration) | Merge.kif 6996-6996 | |
| (instance HourDuration UnitOfDuration) | Merge.kif 6995-6995 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Hour HourDuration) | Merge.kif 9240-9240 | |
| (termFormat ChineseLanguage HourDuration "小时") | domainEnglishFormat.kif 28692-28692 | |
| (termFormat ChineseTraditionalLanguage HourDuration "小時") | domainEnglishFormat.kif 28691-28691 | |
| (termFormat EnglishLanguage HourDuration "hour duration") | domainEnglishFormat.kif 28690-28690 |
| antecedent |
|
|
| (=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed))) |
Geography.kif 3851-3859 |
| consequent |
|
|
| (<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration)))) |
Weather.kif 1701-1707 | |
| (=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration)))) |
Geography.kif 3861-3867 | |
| (=> (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 1629-1641 | |
| (=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration))) |
Merge.kif 9244-9246 | |
| (=> (instance ?HR HeavyRaining) (holdsDuring (WhenFn ?HR) (exists (?AREA) (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 1108-1122 | |
| (=> (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 2626-2639 | |
| (=> (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 2939-2954 |
| statement |
|
|
| (diseaseIncubation Anthrax (MeasureFn 1 HourDuration) (MeasureFn 2 HourDuration)) |
WMD.kif 1133-1133 | |
| (diseaseIncubation Botulism (MeasureFn 2 HourDuration) (MeasureFn 8 DayDuration)) |
WMD.kif 336-336 | |
| (equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 6991-6993 | |
| (equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 6999-7001 |
|
|
|