| appearance as argument number 1 |
|
| (documentation HeavyRaining ChineseLanguage "HeavyRaining 是降雨量介乎于每小时10-50 Millimeter 之间。") | Weather.kif 1101-1102 | |
| (documentation HeavyRaining EnglishLanguage "HeavyRaining is rainfallIntensity between 10-50 Millimeter per HourDuration.") | Weather.kif 1099-1100 | |
| (subclass HeavyRaining Raining) | Weather.kif 1106-1106 | 大雨 是 下雨 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage HeavyRaining "大降雨") | Weather.kif 1104-1104 | |
| (termFormat ChineseLanguage HeavyRaining "大雨") | domainEnglishFormat.kif 27831-27831 | |
| (termFormat ChineseTraditionalLanguage HeavyRaining "大雨") | domainEnglishFormat.kif 27830-27830 | |
| (termFormat EnglishLanguage HeavyRaining "heavy raining") | domainEnglishFormat.kif 27829-27829 |
| 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.0) (greaterThan 50.0 ?NUM))))) |
Weather.kif 1108-1122 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners