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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VolcanicEruption
VolcanicEruption

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


(documentation VolcanicEruption EnglishLanguage "VolcanicEruption is the subclass of GeologicalProcesses in which Volcanoes erupt.") Geography.kif 2421-2422
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Augustine_Volcano_Jan_12_2006.jpg") pictureList.kif 3271-3271
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Stromboli_Eruption.jpg") pictureList.kif 3027-3027
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Dds40-097_large.jpeg") pictureList.kif 3272-3272
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ de/ Dahl_Vesuvius.png") pictureList.kif 3269-3269
(subclass VolcanicEruption GeologicalProcess) Geography.kif 2419-2419 VolcanicEruption est une sous-classe de GeologicalProcess

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


(subclass VolcanicGasRelease VolcanicEruption) Geography.kif 6837-6837 VolcanicGasRelease est une sous-classe de VolcanicEruption
(termFormat ChineseLanguage VolcanicEruption "火山爆发") domainEnglishFormat.kif 61916-61916 VolcanicGasRelease est une sous-classe de VolcanicEruption
(termFormat ChineseTraditionalLanguage VolcanicEruption "火山爆發") domainEnglishFormat.kif 61915-61915 VolcanicGasRelease est une sous-classe de VolcanicEruption
(termFormat EnglishLanguage VolcanicEruption "volcanic eruption") domainEnglishFormat.kif 61914-61914 VolcanicGasRelease est une sous-classe de VolcanicEruption

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1853-1858
(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?HEATING)
        (and
            (instance ?HEATING Heating)
            (subProcess ?HEATING ?ERUPTING))))
Geography.kif 2431-2436
(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?VOLCANO)
        (and
            (instance ?VOLCANO Volcano)
            (eventLocated ?ERUPTING ?VOLCANO))))
Geography.kif 2424-2429
(=>
    (instance ?event VolcanicEruption)
    (exists (?volcano)
        (and
            (instance ?volcano Volcano)
            (agent ?event ?volcano))))
Geography.kif 4140-4145


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