| Volcano(volcano)
| | vent, volcano |
| appearance as argument number 1 |
|
|
| (documentation Volcano EnglishLanguage "A Volcano in the broadest sense, i.e., a region containing a vent through which magmous and/ or pyroclastic materials are passed from the interior of the Earth to its surface (atmospheric or underwater).") | Geography.kif 3981-3984 | |
| (externalImage Volcano "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Volcano_scheme.svg") | pictureList.kif 3276-3276 | |
| (externalImage Volcano "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ Aa_large.jpg") | pictureList.kif 3277-3277 | |
| (externalImage Volcano "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ volcano.png") | pictureList.kif 827-827 | |
| (subclass Volcano LandForm) | Geography.kif 3979-3979 | Volcano is a subclass of land form |
| appearance as argument number 2 |
|
|
| (subclass VolcanicCone Volcano) | Geography.kif 4008-4008 | Volcanic cone is a subclass of volcano |
| (subclass VolcanicMountain Volcano) | Geography.kif 4001-4001 | Volcanic mountain is a subclass of volcano |
| (termFormat ChineseLanguage Volcano "火山") | domainEnglishFormat.kif 61878-61878 | |
| (termFormat ChineseTraditionalLanguage Volcano "火山") | domainEnglishFormat.kif 61877-61877 | |
| (termFormat EnglishLanguage Volcano "volcano") | domainEnglishFormat.kif 61876-61876 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1861-1866 |
|
| consequent |
|
|
| (=> (instance ?ERUPTING VolcanicEruption) (exists (?VOLCANO) (and (instance ?VOLCANO Volcano) (eventLocated ?ERUPTING ?VOLCANO)))) |
Geography.kif 2439-2444 |
|
| (=> (instance ?event VolcanicEruption) (exists (?volcano) (and (instance ?volcano Volcano) (agent ?event ?volcano)))) |
Geography.kif 3993-3998 |
|
|
|
|