HeavyRaining(heavy raining) |
appearance as argument number 1 |
![]() |
(documentation HeavyRaining ChineseLanguage "HeavyRaining 是降雨量介乎于每小时10-50 Millimeter 之间。") | Weather.kif 1337-1338 | |
(documentation HeavyRaining EnglishLanguage "HeavyRaining is rainfallIntensity between 10-50 Millimeter per HourDuration.") | Weather.kif 1335-1336 | |
(subclass HeavyRaining Raining) | Weather.kif 1342-1342 | Heavy raining is a subclass of raining |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage HeavyRaining "大降雨") | Weather.kif 1340-1340 | |
(termFormat ChineseLanguage HeavyRaining "大雨") | domainEnglishFormat.kif 27851-27851 | |
(termFormat ChineseTraditionalLanguage HeavyRaining "大雨") | domainEnglishFormat.kif 27850-27850 | |
(termFormat EnglishLanguage HeavyRaining "heavy raining") | domainEnglishFormat.kif 27849-27849 |
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 1344-1358 |
|
![]() |
![]() |