|
|
  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 7094-7094 | |
| (documentation HourDuration JapaneseLanguage "時間単位。1時間 = 60分。") | japanese_format.kif 1287-1287 | |
| (instance HourDuration TimeDuration) | Merge.kif 7093-7093 | 小时 是 持续时间 的 instance |
| (instance HourDuration UnitOfDuration) | Merge.kif 7092-7092 | 小时 是 UnitOfDuration 的 instance |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Hour HourDuration) | Merge.kif 9378-9378 | 小时 和 小时 是 内部相关 |
| (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 |
|
|
| (<=> (equal ?SPEED (MeasureFn ?NUM MilesPerHour)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM Mile) (MeasureFn 1 HourDuration)))) |
Weather.kif 1685-1691 | 函数量 equal 实数 英里每小時 若且唯若 那个 函数量 equal 那个 实数 英里 除以 1 小时 |
| (=> (equal ?SPEED (MeasureFn ?NUM KnotUnitOfSpeed)) (equal ?SPEED (SpeedFn (MeasureFn ?NUM NauticalMile) (MeasureFn 1.0 HourDuration)))) |
Geography.kif 3939-3945 | |
| (=> (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 1613-1625 | |
| (=> (instance ?HOUR Hour) (duration ?HOUR (MeasureFn 1 HourDuration))) |
Merge.kif 9382-9384 | |
| (=> (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 2610-2623 | |
| (=> (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 | 炭疽病 对于 %3 disease 孵化 |
| (diseaseIncubation Botulism (MeasureFn 2 HourDuration) (MeasureFn 8 DayDuration)) |
WMD.kif 336-336 | 肉毒中毒 对于 %3 disease 孵化 |
| (equal (MeasureFn ?NUMBER DayDuration) (MeasureFn (MultiplicationFn ?NUMBER 24) HourDuration)) |
Merge.kif 7088-7090 | 实数 一天长度 equal 那个 实数 和 24 小时 |
| (equal (MeasureFn ?NUMBER HourDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) MinuteDuration)) |
Merge.kif 7096-7098 | 实数 小时 equal 那个 实数 和 60 分钟 |
|
|
|