Thunderstorm - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Thunderstorm Storm)	Weather.kif 1376-1376	Thunderstorm is a subclass of storm
(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 1377-1380	Thunderstorm is a subclass of storm
(externalImage Thunderstorm "http://articulatesoftware.com/SUMOpictures/ weather/ pictures/ thunderstorm_1.png")	pictureList.kif 780-780	Thunderstorm is a subclass of storm
(externalImage Thunderstorm "http://upload.wikimedia.org/wikipedia/commons/ d/ da/ Rolling_thunder_cloud.jpg")	pictureList.kif 1977-1977	Thunderstorm is a subclass of storm

appearance as argument number 2

(termFormat EnglishLanguage Thunderstorm "thunderstorm")	domainEnglishFormat.kif 57973-57973
(termFormat ChineseTraditionalLanguage Thunderstorm "雷暴")	domainEnglishFormat.kif 57974-57974
(termFormat ChineseLanguage Thunderstorm "雷暴")	domainEnglishFormat.kif 57975-57975

antecedent

(=>
    (instance ?TS Thunderstorm)
    (holdsDuring
        (WhenFn ?TS)
        (exists (?L ?T)
            (and
                (instance ?L Lightning)
                (subProcess ?L ?TS)
                (instance ?T Thunder)
                (subProcess ?T ?TS)))))

If X is an instance of thunderstorm, then there exist Y, Z such that Y is an instance of lightning, Y is a subprocess of X, Z is an instance of thunder, and Z is a subprocess of X holds during the time of existence of X

consequent

(=> (instance ?W FairWeatherWaterspout) (not (exists (?T) (and (instance ?T Thunderstorm) (causes ?T ?W)))))	Weather.kif 1499-1505	If X is an instance of fair weather waterspout, then there doesn't exist Y such that Y is an instance of thunderstorm and Y causes X
(=> (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 2479-2488	If X is an instance of Haboob, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of thunderstorm (3) Z is an instance of motion downward (4) W is an instance of air (5) W is a patient of Z (6) Z is a subprocess of Y (7) Z causes X