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

Formal Language: 



KB Term:  Term intersection
English Word: 

  VolcanicEruption

Sigma KEE - VolcanicEruption
VolcanicEruption

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


(documentation VolcanicEruption EnglishLanguage "VolcanicEruption is the subclass of GeologicalProcesses in which Volcanoes erupt.") Geography.kif 2433-2434
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Augustine_Volcano_Jan_12_2006.jpg") pictureList.kif 3272-3272
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Stromboli_Eruption.jpg") pictureList.kif 3028-3028
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Dds40-097_large.jpeg") pictureList.kif 3273-3273
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ de/ Dahl-Vesuvius.png") pictureList.kif 3270-3270
(subclass VolcanicEruption GeologicalProcess) Geography.kif 2431-2431 VolcanicEruption est une sous-classe de GeologicalProcess

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


(subclass VolcanicGasRelease VolcanicEruption) Geography.kif 6768-6768 VolcanicGasRelease est une sous-classe de VolcanicEruption
(termFormat ChineseLanguage VolcanicEruption "火山爆发") domainEnglishFormat.kif 61893-61893
(termFormat ChineseTraditionalLanguage VolcanicEruption "火山爆發") domainEnglishFormat.kif 61892-61892
(termFormat EnglishLanguage VolcanicEruption "volcanic eruption") domainEnglishFormat.kif 61891-61891

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1865-1870
(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?HEATING)
        (and
            (instance ?HEATING Heating)
            (subProcess ?HEATING ?ERUPTING))))
Geography.kif 2443-2448
(=>
    (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 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