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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Lightning
Lightning(lightning)
atmospheric_electricity, bolt, bolt_of_lightning, chain_lightning, forked_lightning, lightning, thunderbolt

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


(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 953-958
(externalImage Lightning "http://articulatesoftware.com/SUMOpictures/weather/ lightening/ Lightning_over_Oradea_Romania.png") pictureList.kif 2246-2246
(externalImage Lightning "http://articulatesoftware.com/SUMOpictures/weather/ lightening/ lightening_1.png") pictureList.kif 1832-1832
(subclass Lightning Radiating) Weather.kif 952-952 Lightning is a subclass of radiating
(subclass Lightning Spark) Cars.kif 422-422 Lightning is a subclass of spark
(subclass Lightning WeatherProcess) Weather.kif 951-951 Lightning is a subclass of weather process

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


(subclass CloudToCloudLightning Lightning) Weather.kif 985-985 Cloud to cloud lightning is a subclass of lightning
(subclass IntraCloudLightning Lightning) Weather.kif 967-967 Intra cloud lightning is a subclass of lightning
(subclass LightningStrike Lightning) Weather.kif 1000-1000 Lightning strike is a subclass of lightning
(termFormat ChineseLanguage Lightning "闪电") domainEnglishFormat.kif 34384-34384 Lightning strike is a subclass of lightning
(termFormat ChineseTraditionalLanguage Lightning "閃電") domainEnglishFormat.kif 34383-34383 Lightning strike is a subclass of lightning
(termFormat EnglishLanguage Lightning "lightning") domainEnglishFormat.kif 34382-34382 Lightning strike is a subclass of lightning

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


(=>
    (instance ?L Lightning)
    (exists (?C)
        (and
            (instance ?C WaterCloud)
            (eventLocated ?L ?C))))
Weather.kif 960-965

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


(=>
    (instance ?T Thunder)
    (exists (?L)
        (and
            (instance ?L Lightning)
            (causes ?L ?T))))
Weather.kif 1018-1023
(=>
    (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


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