Haboob - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Haboob ChineseLanguage "Haboobs 是由 Thunderstorm 造成的强力 DustStorms 。")	Weather.kif 945-946
(documentation Haboob EnglishLanguage "Haboobs are intense DustStorms caused by Thunderstorm.")	Weather.kif 943-944
(subclass Haboob DustStorm)	Weather.kif 940-940	Haboob is a subclass of dust storm

appearance as argument number 2

(termFormat ChineseLanguage Haboob "Haboob")	Weather.kif 942-942
(termFormat EnglishLanguage Haboob "Haboob")	Weather.kif 941-941

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 948-957