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 | Haboob is a subclass of dust storm |
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 |
|