| 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 from a Cloud.") | Mid-level-ontology.kif 3577-3578 | |
| (externalImage Lightning "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ lightening/ Lightning_over_Oradea_Romania.png") | pictureList.kif 2248-2248 | "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ lightening/ Lightning_over_Oradea_Romania.png" is a URL depicting lightning |
| (externalImage Lightning "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ weather/ lightening/ lightening_1.png") | pictureList.kif 1834-1834 | "http://www.adampease.org/Articulate/SUMOpictures/pictures/ weather/ lightening/ lightening_1.png" is a URL depicting lightning |
| (subclass Lightning Radiating) | Mid-level-ontology.kif 3576-3576 | Lightning is a subclass of radiating |
| (subclass Lightning Spark) | Cars.kif 422-422 | Lightning is a subclass of spark |
| (subclass Lightning WeatherProcess) | Mid-level-ontology.kif 3575-3575 | Lightning is a subclass of weather process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lightning "闪电") | domainEnglishFormat.kif 34285-34285 | "闪电" is the printable form of lightning in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage Lightning "閃電") | domainEnglishFormat.kif 34284-34284 | "閃電" is the printable form of lightning in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage Lightning "lightning") | domainEnglishFormat.kif 34283-34283 | "lightning" is the printable form of lightning in english language |
| antecedent |
|
|
| (=> (instance ?L Lightning) (exists (?C) (and (instance ?C Cloud) (eventLocated ?L ?C)))) |
Mid-level-ontology.kif 3580-3585 |
|
| consequent |
|
|
| (=> (instance ?T Thunder) (exists (?L) (and (instance ?L Lightning) (causes ?L ?T)))) |
Mid-level-ontology.kif 3592-3597 |
|
|
|
|