| VolcanicEruption
| |
| appearance as argument number 1 |
|
|
| (documentation VolcanicEruption EnglishLanguage "VolcanicEruption is the subclass of GeologicalProcesses in which Volcanoes erupt.") | Geography.kif 2591-2592 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Augustine_Volcano_Jan_12_2006.jpg") | pictureList.kif 3271-3271 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Stromboli_Eruption.jpg") | pictureList.kif 3027-3027 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Dds40-097_large.jpeg") | pictureList.kif 3272-3272 | |
| (externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ de/ Dahl_Vesuvius.png") | pictureList.kif 3269-3269 | |
| (subclass VolcanicEruption GeologicalProcess) | Geography.kif 2589-2589 |
| appearance as argument number 2 |
|
|
| (subclass VolcanicGasRelease VolcanicEruption) | Geography.kif 7105-7105 | |
| (termFormat ChineseLanguage VolcanicEruption "火山爆发") | domainEnglishFormat.kif 61887-61887 | |
| (termFormat ChineseTraditionalLanguage VolcanicEruption "火山爆發") | domainEnglishFormat.kif 61886-61886 | |
| (termFormat EnglishLanguage VolcanicEruption "volcanic eruption") | domainEnglishFormat.kif 61885-61885 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 2023-2028 | |
| (=> (instance ?ERUPTING VolcanicEruption) (exists (?HEATING) (and (instance ?HEATING Heating) (subProcess ?HEATING ?ERUPTING)))) |
Geography.kif 2601-2606 | |
| (=> (instance ?ERUPTING VolcanicEruption) (exists (?VOLCANO) (and (instance ?VOLCANO Volcano) (eventLocated ?ERUPTING ?VOLCANO)))) |
Geography.kif 2594-2599 | |
| (=> (instance ?event VolcanicEruption) (exists (?volcano) (and (instance ?volcano Volcano) (agent ?event ?volcano)))) |
Geography.kif 4311-4316 |
|
|
|