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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 3921-3924
(externalImage Volcano " 97/ Volcano_scheme.svg") pictureList.kif 3276-3276
(externalImage Volcano " f1/ Aa_large.jpg") pictureList.kif 3277-3277
(externalImage Volcano " pictures/ geography/ volcano.png") pictureList.kif 827-827
(subclass Volcano LandForm) Geography.kif 3919-3919

appearance as argument number 2

(subclass VolcanicCone Volcano) Geography.kif 3948-3948
(subclass VolcanicMountain Volcano) Geography.kif 3941-3941
(termFormat ChineseLanguage Volcano "火山") domainEnglishFormat.kif 61878-61878
(termFormat ChineseTraditionalLanguage Volcano "火山") domainEnglishFormat.kif 61877-61877
(termFormat EnglishLanguage Volcano "volcano") domainEnglishFormat.kif 61876-61876


        (instance ?AREA GeographicArea)
        (instance ?CONE Volcano)
        (attribute ?CONE VolcanicallyActive))
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1853-1858


    (instance ?ERUPTING VolcanicEruption)
    (exists (?VOLCANO)
            (instance ?VOLCANO Volcano)
            (eventLocated ?ERUPTING ?VOLCANO))))
Geography.kif 2422-2427
    (instance ?event VolcanicEruption)
    (exists (?volcano)
            (instance ?volcano Volcano)
            (agent ?event ?volcano))))
Geography.kif 3933-3938

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

Show without tree

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