| HourDuration | |
| appearance as argument number 1 |
|
|
| (documentation HourDuration ChineseLanguage "这是时间单位，1小时 = 60分钟。") | Merge.kif 7362-7362 | |
| (documentation HourDuration EnglishLanguage "Time unit. 1 hour = 60 minutes.") | Merge.kif 7361-7361 | |
| (instance HourDuration UnitOfDuration) | Merge.kif 7360-7360 |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Hour HourDuration) | Merge.kif 9367-9367 | |
| (termFormat EnglishLanguage HourDuration "hour duration") | domainEnglishFormat.kif 5201-5201 |
| antecedent |
|
|
| (=> (equal ?SPEED (SpeedFn (MeasureFn ?DISTANCE NauticalMile) (MeasureFn ?TIME HourDuration))) (equal ?SPEED (MeasureFn (DivisionFn ?DISTANCE ?TIME) KnotUnitOfSpeed))) |
Geography.kif 3718-3720 |
| consequent |
|
|
| (=> (equal (RelativeTimeFn ?TIME1 CentralTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 6 HourDuration)))) |
Merge.kif 17554-17556 | |
| (=> (equal (RelativeTimeFn ?TIME1 EasternTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 5 HourDuration)))) |
Merge.kif 17563-17565 | |
| (=> (equal (RelativeTimeFn ?TIME1 MountainTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 7 HourDuration)))) |
Merge.kif 17545-17547 | |
| (=> (equal (RelativeTimeFn ?TIME1 PacificTimeZone) ?TIME2) (equal ?TIME2 (AdditionFn ?TIME1 (MeasureFn 8 HourDuration)))) |
Merge.kif 17536-17538 | |
| (=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1 HourDuration)))) |
Geography.kif 3722-3724 | |
| (=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration))) |
Merge.kif 9371-9373 | |
| (=> (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) (greaterThan 50 ?NUM))))) |
Weather.kif 721-735 | |
| (=> (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) (duration (WhenFn ?PROCESS) (MeasureFn ?DURATION HourDuration)) (greaterThan ?DURATION 3))))) |
Weather.kif 1029-1042 | |
| (=> (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))))) |
Weather.kif 1375-1390 |
| statement |
|
|
| (diseaseIncubation Anthrax (MeasureFn 1 HourDuration) (MeasureFn 2 HourDuration)) |
WMD.kif 1051-1051 | |
| (diseaseIncubation Botulism (MeasureFn 2 HourDuration) (MeasureFn 8 DayDuration)) |
WMD.kif 336-336 | |
| (equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7356-7358 | |
| (equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7364-7366 |
|
|
|