| 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 27869-27869 | |
| (termFormat ChineseTraditionalLanguage HeavyRaining "大雨") | domainEnglishFormat.kif 27868-27868 | |
| (termFormat EnglishLanguage HeavyRaining "heavy raining") | domainEnglishFormat.kif 27867-27867 |
| 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 |
|
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