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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Volcano

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

antecedent
-------------------------


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

consequent
-------------------------


(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?VOLCANO)
        (and
            (instance ?VOLCANO Volcano)
            (eventLocated ?ERUPTING ?VOLCANO))))
Geography.kif 2422-2427
(=>
    (instance ?event VolcanicEruption)
    (exists (?volcano)
        (and
            (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