TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Volcano LandForm)	Merge.kif 1025-1025	Volcano is a subclass of land form
(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).")	Merge.kif 1026-1029	Volcano is a subclass of land form
(externalImage Volcano "http://articulatesoftware.com/SUMOpictures/geography/ volcano.png")	pictureList.kif 827-827	Volcano is a subclass of land form
(externalImage Volcano "http://upload.wikimedia.org/wikipedia/commons/9/ 97/ Volcano_scheme.svg")	pictureList.kif 3274-3274	Volcano is a subclass of land form
(externalImage Volcano "http://upload.wikimedia.org/wikipedia/commons/f/ f1/ Aa_large.jpg")	pictureList.kif 3275-3275	Volcano is a subclass of land form

appearance as argument number 2

(subclass VolcanicMountain Volcano)	Geography.kif 5583-5583	Volcanic mountain is a subclass of volcano
(subclass VolcanicCone Volcano)	Geography.kif 5590-5590	Volcanic cone is a subclass of volcano
(termFormat EnglishLanguage Volcano "volcano")	domainEnglishFormat.kif 61912-61912	Volcanic cone is a subclass of volcano
(termFormat ChineseTraditionalLanguage Volcano "火山")	domainEnglishFormat.kif 61913-61913	Volcanic cone is a subclass of volcano
(termFormat ChineseLanguage Volcano "火山")	domainEnglishFormat.kif 61914-61914	Volcanic cone is a subclass of volcano

antecedent

(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
    (not
        (attribute ?AREA GeologicallyStable)))

consequent

(=> (instance ?event VolcanicEruption) (exists (?volcano) (and (instance ?volcano Volcano) (agent ?event ?volcano))))	Merge.kif 1030-1035	If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of volcano and Y is an agent of X
(=> (instance ?ERUPTING VolcanicEruption) (exists (?VOLCANO) (and (instance ?VOLCANO Volcano) (eventLocated ?ERUPTING ?VOLCANO))))	Merge.kif 1041-1046	If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of volcano and X is located at Y