Lightning - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Lightning Spark)	Cars.kif 375-375	Lightning is a subclass of spark
(subclass Lightning WeatherProcess)	Weather.kif 1393-1393	Lightning is a subclass of weather process
(subclass Lightning Radiating)	Weather.kif 1394-1394	Lightning is a subclass of radiating
(documentation Lightning EnglishLanguage "A WeatherProcess which involves a significant release of electricity between two electrically charged regions. One or both regions are within the atmosphere in a &WaterCloud, with the second region sometimes occuring on the ground. [Wikipedia] At the moment, we are modeling electricity as flowing from one region to another. Another way to model it is that it is a change of electrical potential at all points on the path. It would be worth revisiting this term by a specialist in Physics.")	Weather.kif 1395-1400	Lightning is a subclass of radiating
(externalImage Lightning "http://articulatesoftware.com/SUMOpictures/weather/ lightening/ lightening_1.png")	pictureList.kif 1832-1832	Lightning is a subclass of radiating
(externalImage Lightning "http://articulatesoftware.com/SUMOpictures/weather/ lightening/ Lightning_over_Oradea_Romania.png")	pictureList.kif 2246-2246	Lightning is a subclass of radiating

appearance as argument number 2

(subclass IntraCloudLightning Lightning)	Weather.kif 1409-1409	Intra cloud lightning is a subclass of lightning
(subclass CloudToCloudLightning Lightning)	Weather.kif 1427-1427	Cloud to cloud lightning is a subclass of lightning
(subclass LightningStrike Lightning)	Weather.kif 1442-1442	Lightning strike is a subclass of lightning
(termFormat EnglishLanguage Lightning "lightning")	domainEnglishFormat.kif 34375-34375	Lightning strike is a subclass of lightning
(termFormat ChineseTraditionalLanguage Lightning "閃電")	domainEnglishFormat.kif 34376-34376	Lightning strike is a subclass of lightning
(termFormat ChineseLanguage Lightning "闪电")	domainEnglishFormat.kif 34377-34377	Lightning strike is a subclass of lightning

antecedent

(=>
    (instance ?L Lightning)
    (exists (?C)
        (and
            (instance ?C WaterCloud)
            (eventLocated ?L ?C))))

If X is an instance of lightning, then there exists Y such that Y is an instance of water cloud and X is located at Y

consequent

(=> (instance ?TS Thunderstorm) (holdsDuring (WhenFn ?TS) (exists (?L ?T) (and (instance ?L Lightning) (subProcess ?L ?TS) (instance ?T Thunder) (subProcess ?T ?TS)))))	Weather.kif 1382-1391	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
(=> (instance ?T Thunder) (exists (?L) (and (instance ?L Lightning) (causes ?L ?T))))	Weather.kif 1460-1465	If X is an instance of thunder, then there exists Y such that Y is an instance of lightning and Y causes X