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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VolcanicEruption
VolcanicEruption(volcanic eruption)
Plinian_eruption, eructation, eruption, extravasation, volcanic_eruption

appearance as argument number 1
-------------------------


(documentation VolcanicEruption EnglishLanguage "VolcanicEruption is the subclass of GeologicalProcesses in which Volcanoes erupt.") Geography.kif 2436-2437
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Augustine_Volcano_Jan_12_2006.jpg") pictureList.kif 3273-3273
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Stromboli_Eruption.jpg") pictureList.kif 3029-3029
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Dds40-097_large.jpeg") pictureList.kif 3274-3274
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ de/ Dahl-Vesuvius.png") pictureList.kif 3271-3271
(subclass VolcanicEruption GeologicalProcess) Geography.kif 2434-2434 Volcanic eruption is a subclass of geological process

appearance as argument number 2
-------------------------


(subclass VolcanicGasRelease VolcanicEruption) Geography.kif 6456-6456 Volcanic gas release is a subclass of volcanic eruption
(termFormat ChineseLanguage VolcanicEruption "火山爆发") domainEnglishFormat.kif 61860-61860
(termFormat ChineseTraditionalLanguage VolcanicEruption "火山爆發") domainEnglishFormat.kif 61859-61859
(termFormat EnglishLanguage VolcanicEruption "volcanic eruption") domainEnglishFormat.kif 61858-61858

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1868-1873
(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?HEATING)
        (and
            (instance ?HEATING Heating)
            (subProcess ?HEATING ?ERUPTING))))
Geography.kif 2446-2451
(=>
    (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