| 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 1411-1416 | |
| (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 1410-1410 | Lightning is a subclass of radiating |
| (subclass Lightning Spark) | Cars.kif 422-422 | Lightning is a subclass of Spark |
| (subclass Lightning WeatherProcess) | Weather.kif 1409-1409 | Lightning is a subclass of WeatherProcess |
| appearance as argument number 2 |
|
|
| (subclass CloudToCloudLightning Lightning) | Weather.kif 1443-1443 | CloudToCloudLightning is a subclass of Lightning |
| (subclass IntraCloudLightning Lightning) | Weather.kif 1425-1425 | IntraCloudLightning is a subclass of Lightning |
| (subclass LightningStrike Lightning) | Weather.kif 1458-1458 | LightningStrike is a subclass of Lightning |
| (termFormat ChineseLanguage Lightning "闪电") | domainEnglishFormat.kif 34383-34383 | LightningStrike is a subclass of Lightning |
| (termFormat ChineseTraditionalLanguage Lightning "閃電") | domainEnglishFormat.kif 34382-34382 | LightningStrike is a subclass of Lightning |
| (termFormat EnglishLanguage Lightning "lightning") | domainEnglishFormat.kif 34381-34381 | LightningStrike is a subclass of Lightning |
| antecedent |
|
|
| (=> (instance ?L Lightning) (exists (?C) (and (instance ?C WaterCloud) (eventLocated ?L ?C)))) |
Weather.kif 1418-1423 |
|
| consequent |
|
|
| (=> (instance ?T Thunder) (exists (?L) (and (instance ?L Lightning) (causes ?L ?T)))) |
Weather.kif 1476-1481 |
|
| (=> (instance ?TS Thunderstorm) (holdsDuring (WhenFn ?TS) (exists (?L ?T) (and (instance ?L Lightning) (subProcess ?L ?TS) (instance ?T Thunder) (subProcess ?T ?TS))))) |
Weather.kif 1398-1407 |
|
|
|
|