HeavyRaining |
appearance as argument number 1 |
(documentation HeavyRaining ChineseLanguage "HeavyRaining 是降雨量介乎于每小时10-50 Millimeter 之间。") | Weather.kif 1086-1087 | |
(documentation HeavyRaining EnglishLanguage "HeavyRaining is rainfallIntensity between 10-50 Millimeter per HourDuration.") | Weather.kif 1084-1085 | |
(subclass HeavyRaining Raining) | Weather.kif 1091-1091 |
appearance as argument number 2 |
(termFormat ChineseLanguage HeavyRaining "大降雨") | Weather.kif 1089-1089 | |
(termFormat ChineseLanguage HeavyRaining "大雨") | domainEnglishFormat.kif 27840-27840 | |
(termFormat ChineseTraditionalLanguage HeavyRaining "大雨") | domainEnglishFormat.kif 27839-27839 | |
(termFormat EnglishLanguage HeavyRaining "heavy raining") | domainEnglishFormat.kif 27838-27838 |
antecedent |
(=> (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 |