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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 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


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