Haboob - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Haboob ChineseLanguage "Haboobs 是由 Thunderstorm 强力下擊暴流造成的 DustStorms 。")	Weather.kif 2000-2001
(documentation Haboob EnglishLanguage "Haboobs are intense DustStorms caused by the downburst of a Thunderstorm.")	Weather.kif 1998-1999
(subclass Haboob DustStorm)	Weather.kif 1997-1997	Haboob is a subclass of dust storm

appearance as argument number 2

(termFormat ChineseLanguage Haboob "雷沙暴")	Weather.kif 2003-2003
(termFormat EnglishLanguage Haboob "Haboob")	Weather.kif 2002-2002

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 2005-2014