| HeavyRaining | |
| appearance as argument number 1 |
|
|
| (documentation HeavyRaining ChineseLanguage "HeavyRaining 是降雨量介乎于每小时10-50 Millimeter 之间。") | Weather.kif 713-714 | |
| (documentation HeavyRaining EnglishLanguage "HeavyRaining is rainfallIntensity between 10-50 Millimeter per HourDuration.") | Weather.kif 711-712 | |
| (subclass HeavyRaining Raining) | Weather.kif 718-718 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HeavyRaining "大降雨") | Weather.kif 716-716 | |
| (termFormat ChineseLanguage HeavyRaining "大雨") | domainEnglishFormat.kif 27769-27769 | |
| (termFormat ChineseTraditionalLanguage HeavyRaining "大雨") | domainEnglishFormat.kif 27768-27768 | |
| (termFormat EnglishLanguage HeavyRaining "heavy raining") | domainEnglishFormat.kif 27767-27767 |
| antecedent |
|
|
| (=> (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 720-734 |
|
|
|