| 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 4059-4062 | |
| (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 3275-3275 | |
| (externalImage Volcano "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ Aa_large.jpg") | pictureList.kif 3276-3276 | |
| (subclass Volcano LandForm) | Geography.kif 4057-4057 |
| appearance as argument number 2 |
|
|
| (subclass VolcanicCone Volcano) | Geography.kif 4086-4086 | |
| (subclass VolcanicMountain Volcano) | Geography.kif 4079-4079 | |
| (termFormat ChineseLanguage Volcano "火山") | domainEnglishFormat.kif 61913-61913 | |
| (termFormat ChineseTraditionalLanguage Volcano "火山") | domainEnglishFormat.kif 61912-61912 | |
| (termFormat EnglishLanguage Volcano "volcano") | domainEnglishFormat.kif 61911-61911 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?CONE Volcano) (attribute ?CONE VolcanicallyActive)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1858-1863 |
| consequent |
|
|
| (=> (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 |
|
|
|