| VolcanicEruption
| |
| appearance as argument number 1 |
|
|
| (documentation VolcanicEruption EnglishLanguage "VolcanicEruption is the subclass of GeologicalProcesses in which Volcanoes erupt.") | Geography.kif 2395-2396 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Augustine_Volcano_Jan_12_2006.jpg") | pictureList.kif 3273-3273 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Stromboli_Eruption.jpg") | pictureList.kif 3029-3029 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Dds40-097_large.jpeg") | pictureList.kif 3274-3274 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ de/ Dahl-Vesuvius.png") | pictureList.kif 3271-3271 | |
| (subclass VolcanicEruption GeologicalProcess) | Geography.kif 2393-2393 |
| appearance as argument number 2 |
|
|
| (subclass VolcanicGasRelease VolcanicEruption) | Geography.kif 6298-6298 | |
| (termFormat ChineseLanguage VolcanicEruption "火山爆发") | domainEnglishFormat.kif 61859-61859 | |
| (termFormat ChineseTraditionalLanguage VolcanicEruption "火山爆發") | domainEnglishFormat.kif 61858-61858 | |
| (termFormat EnglishLanguage VolcanicEruption "volcanic eruption") | domainEnglishFormat.kif 61857-61857 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1836-1841 | |
| (=> (instance ?ERUPTING VolcanicEruption) (exists (?HEATING) (and (instance ?HEATING Heating) (subProcess ?HEATING ?ERUPTING)))) |
Geography.kif 2405-2410 | |
| (=> (instance ?ERUPTING VolcanicEruption) (exists (?VOLCANO) (and (instance ?VOLCANO Volcano) (eventLocated ?ERUPTING ?VOLCANO)))) |
Geography.kif 2398-2403 | |
| (=> (instance ?event VolcanicEruption) (exists (?volcano) (and (instance ?volcano Volcano) (agent ?event ?volcano)))) |
Geography.kif 3909-3914 |
|
|
|