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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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


    (instance ?HABOOB Haboob)
    (exists (?TS ?DM ?A)
            (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