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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Haboob

Sigma KEE - Haboob
Haboob

appearance as argument number 1
-------------------------


(documentation Haboob ChineseLanguage "Haboobs 是由 Thunderstorm 强力下擊暴流造成的 DustStorms 。") Weather.kif 1312-1313
(documentation Haboob EnglishLanguage "Haboobs are intense DustStorms caused by the downburst of a Thunderstorm.") Weather.kif 1310-1311
(subclass Haboob DustStorm) Weather.kif 1309-1309

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Haboob "雷沙暴") Weather.kif 1315-1315
(termFormat EnglishLanguage Haboob "Haboob") Weather.kif 1314-1314

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 1317-1326


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners