| VolcanicEruption
| |
| appearance as argument number 1 |
|
|
| (documentation VolcanicEruption EnglishLanguage "VolcanicEruption is the subclass of GeologicalProcesses in which Volcanoes erupt.") | Geography.kif 2433-2434 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Augustine_Volcano_Jan_12_2006.jpg") | pictureList.kif 3272-3272 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Stromboli_Eruption.jpg") | pictureList.kif 3028-3028 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Dds40-097_large.jpeg") | pictureList.kif 3273-3273 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ de/ Dahl-Vesuvius.png") | pictureList.kif 3270-3270 | |
| (subclass VolcanicEruption GeologicalProcess) | Geography.kif 2431-2431 |
| appearance as argument number 2 |
|
|
| (subclass VolcanicGasRelease VolcanicEruption) | Geography.kif 6768-6768 | |
| (termFormat ChineseLanguage VolcanicEruption "火山爆发") | domainEnglishFormat.kif 61895-61895 | |
| (termFormat ChineseTraditionalLanguage VolcanicEruption "火山爆發") | domainEnglishFormat.kif 61894-61894 | |
| (termFormat EnglishLanguage VolcanicEruption "volcanic eruption") | domainEnglishFormat.kif 61893-61893 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1865-1870 | |
| (=> (instance ?ERUPTING VolcanicEruption) (exists (?HEATING) (and (instance ?HEATING Heating) (subProcess ?HEATING ?ERUPTING)))) |
Geography.kif 2443-2448 | |
| (=> (instance ?ERUPTING VolcanicEruption) (exists (?VOLCANO) (and (instance ?VOLCANO Volcano) (eventLocated ?ERUPTING ?VOLCANO)))) |
Geography.kif 2436-2441 | |
| (=> (instance ?event VolcanicEruption) (exists (?volcano) (and (instance ?volcano Volcano) (agent ?event ?volcano)))) |
Geography.kif 4071-4076 |
|
|
|