Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Volcano
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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners