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 1313-1314
(documentation Haboob EnglishLanguage "Haboobs are intense DustStorms caused by the downburst of a Thunderstorm.") Weather.kif 1311-1312
(subclass Haboob DustStorm) Weather.kif 1310-1310 Haboob est une sous-classe de DustStorm

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


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

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 1318-1327


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