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


s__documentation(s__Haboob,s__ChineseLanguage,'"Haboobs 是由 Thunderstorm 强力下擊暴流造成的 DustStorms 。"')

Weather.kif 1311-1312
s__documentation(s__Haboob,s__EnglishLanguage,'"Haboobs are intense DustStorms caused by the downburst of a Thunderstorm."')

Weather.kif 1309-1310
s__instance(s__DustStorm,s__SetOrClass)

s__instance(s__Haboob,s__SetOrClass)

s__subclass(s__Haboob,s__DustStorm)

Weather.kif 1308-1308 Haboob is a subclass of dust storm

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


s__termFormat(s__ChineseLanguage,s__Haboob,'"雷沙暴"')

Weather.kif 1314-1314
s__termFormat(s__EnglishLanguage,s__Haboob,'"Haboob"')

Weather.kif 1313-1313

antecedent
-------------------------


( ! [V__HABOOB] :
   ((s__instance(V__HABOOB,s__Haboob) =>
       (( ? [V__TS, V__DM, V__A] :
           ((s__instance(V__TS,s__Thunderstorm) &
               s__instance(V__DM,s__MotionDownward) &
               s__instance(V__A,s__Air) &
               s__patient(V__DM,V__A)
             &
             s__subProcess(V__DM,V__TS)
           &
           s__causes(V__DM,V__HABOOB))))))
)
)

Weather.kif 1316-1325


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 3.0 is open source software produced by Articulate Software and its partners