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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Lightning
Lightning

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 est une sous-classe de irradier
(subclass Lightning Spark) Cars.kif 422-422 Lightning est une sous-classe de Spark
(subclass Lightning WeatherProcess) Weather.kif 951-951 Lightning est une sous-classe de WeatherProcess

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


(subclass CloudToCloudLightning Lightning) Weather.kif 985-985 CloudToCloudLightning est une sous-classe de Lightning
(subclass IntraCloudLightning Lightning) Weather.kif 967-967 IntraCloudLightning est une sous-classe de Lightning
(subclass LightningStrike Lightning) Weather.kif 1000-1000 LightningStrike est une sous-classe de Lightning
(termFormat ChineseLanguage Lightning "闪电") domainEnglishFormat.kif 34384-34384 LightningStrike est une sous-classe de Lightning
(termFormat ChineseTraditionalLanguage Lightning "閃電") domainEnglishFormat.kif 34383-34383 LightningStrike est une sous-classe de Lightning
(termFormat EnglishLanguage Lightning "lightning") domainEnglishFormat.kif 34382-34382 LightningStrike est une sous-classe de 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