Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Haboob
Haboob(Haboob)

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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners