| 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 4128-4131 | |
| (externalImage Volcano "http://articulatesoftware.com/SUMOpictures/geography/ volcano.png") | pictureList.kif 827-827 | |
| (externalImage Volcano "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Volcano_scheme.svg") | pictureList.kif 3274-3274 | |
| (externalImage Volcano "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ Aa_large.jpg") | pictureList.kif 3275-3275 | |
| (subclass Volcano LandForm) | Geography.kif 4126-4126 | Volcano is a subclass of land form |
| appearance as argument number 2 |
|
|
| (subclass VolcanicCone Volcano) | Geography.kif 4155-4155 | Volcanic cone is a subclass of volcano |
| (subclass VolcanicMountain Volcano) | Geography.kif 4148-4148 | Volcanic mountain is a subclass of volcano |
| (termFormat ChineseLanguage Volcano "火山") | domainEnglishFormat.kif 61934-61934 | Volcanic mountain is a subclass of volcano |
| (termFormat ChineseTraditionalLanguage Volcano "火山") | domainEnglishFormat.kif 61933-61933 | Volcanic mountain is a subclass of volcano |
| (termFormat EnglishLanguage Volcano "volcano") | domainEnglishFormat.kif 61932-61932 | Volcanic mountain is a subclass of volcano |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1846-1851 |
|
| consequent |
|
|
| (=> (instance ?ERUPTING VolcanicEruption) (exists (?VOLCANO) (and (instance ?VOLCANO Volcano) (eventLocated ?ERUPTING ?VOLCANO)))) |
Geography.kif 2424-2429 |
|
| (=> (instance ?event VolcanicEruption) (exists (?volcano) (and (instance ?volcano Volcano) (agent ?event ?volcano)))) |
Geography.kif 4140-4145 |
|
|
|
|