| Lightning
| |
| appearance as argument number 1 |
|
|
| (documentation Lightning EnglishLanguage "A WeatherProcess which involves a significant release of electricity from a Cloud.") | Mid-level-ontology.kif 3502-3503 | |
| (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) | Mid-level-ontology.kif 3501-3501 | |
| (subclass Lightning Spark) | Cars.kif 422-422 | |
| (subclass Lightning WeatherProcess) | Mid-level-ontology.kif 3500-3500 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lightning "闪电") | domainEnglishFormat.kif 34401-34401 | |
| (termFormat ChineseTraditionalLanguage Lightning "閃電") | domainEnglishFormat.kif 34400-34400 | |
| (termFormat EnglishLanguage Lightning "lightning") | domainEnglishFormat.kif 34399-34399 |
| antecedent |
|
|
| (=> (instance ?L Lightning) (exists (?C) (and (instance ?C Cloud) (eventLocated ?L ?C)))) |
Mid-level-ontology.kif 3505-3510 |
| consequent |
|
|
| (=> (instance ?T Thunder) (exists (?L) (and (instance ?L Lightning) (causes ?L ?T)))) |
Mid-level-ontology.kif 3517-3522 |
|
|
|