| appearance as argument number 1 |
|
| (documentation Haboob ChineseLanguage "Haboobs 是由 Thunderstorm 强力下擊暴流造成的 DustStorms 。") | Weather.kif 1313-1314 | |
| (documentation Haboob EnglishLanguage "Haboobs are intense DustStorms caused by the downburst of a Thunderstorm.") | Weather.kif 1311-1312 | |
| (subclass Haboob DustStorm) | Weather.kif 1310-1310 | Haboob is a subclass of dust storm |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Haboob "雷沙暴") | Weather.kif 1316-1316 | |
| (termFormat EnglishLanguage Haboob "Haboob") | Weather.kif 1315-1315 |
| antecedent |
|
|
| (=> (instance ?HABOOB Haboob) (exists (?TS ?DM ?A) (and (instance ?TS Thunderstorm) (instance ?DM MotionDownward) (instance ?A Air) (patient ?DM ?A) (subProcess ?DM ?TS) (causes ?DM ?HABOOB)))) |
Weather.kif 1318-1327 |
|
|
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