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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Thunderstorm
Thunderstorm(thunderstorm)
electric_storm, electrical_storm, thunderstorm

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


(documentation Thunderstorm EnglishLanguage "A Thunderstorm, also known as an electrical storm or a lightning storm, is a storm characterized by the presence of Lightning and its acoustic effect on the Earth's atmosphere, known as Thunder. [Wikipedia]") Weather.kif 935-938
(externalImage Thunderstorm "http://articulatesoftware.com/SUMOpictures/ weather/ pictures/ thunderstorm_1.png") pictureList.kif 780-780
(externalImage Thunderstorm "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Rolling_thunder_cloud.jpg") pictureList.kif 1977-1977
(subclass Thunderstorm Storm) Weather.kif 934-934 Thunderstorm is a subclass of storm

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


(termFormat ChineseLanguage Thunderstorm "雷暴") domainEnglishFormat.kif 57982-57982
(termFormat ChineseTraditionalLanguage Thunderstorm "雷暴") domainEnglishFormat.kif 57981-57981
(termFormat EnglishLanguage Thunderstorm "thunderstorm") domainEnglishFormat.kif 57980-57980

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


(=>
    (instance ?TS Thunderstorm)
    (holdsDuring
        (WhenFn ?TS)
        (exists (?L ?T)
            (and
                (instance ?L Lightning)
                (subProcess ?L ?TS)
                (instance ?T Thunder)
                (subProcess ?T ?TS)))))
Weather.kif 940-949

consequent
-------------------------


(=>
    (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 2034-2043
(=>
    (instance ?W FairWeatherWaterspout)
    (not
        (exists (?T)
            (and
                (instance ?T Thunderstorm)
                (causes ?T ?W)))))
Weather.kif 1057-1063


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