|
|
   Haboob
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Haboob ChineseLanguage "Haboobs 是由 Thunderstorm 强力下擊暴流造成的 DustStorms 。") | Weather.kif 1309-1310 | |
| (documentation Haboob EnglishLanguage "Haboobs are intense DustStorms caused by the downburst of a Thunderstorm.") | Weather.kif 1307-1308 | |
| (subclass Haboob DustStorm) | Weather.kif 1306-1306 | 雷沙暴 是 尘暴 的 subclass |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Haboob "雷沙暴") | Weather.kif 1312-1312 | |
| (termFormat EnglishLanguage Haboob "Haboob") | Weather.kif 1311-1311 |
| 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 1314-1323 |
|
|
|