Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  VolcanicEruption

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

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


(subclass VolcanicEruption GeologicalProcess) Merge.kif 1037-1037 Volcanic eruption is a subclass of geological process
(documentation VolcanicEruption EnglishLanguage "VolcanicEruption is the subclass of GeologicalProcesses in which Volcanoes erupt.") Merge.kif 1038-1039 Volcanic eruption is a subclass of geological process
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 9/ 93/ Stromboli_Eruption.jpg") pictureList.kif 3027-3027 Volcanic eruption is a subclass of geological process
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ de/ Dahl_Vesuvius.png") pictureList.kif 3269-3269 Volcanic eruption is a subclass of geological process
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ 1/ 18/ Augustine_Volcano_Jan_12_2006.jpg") pictureList.kif 3271-3271 Volcanic eruption is a subclass of geological process
(externalImage VolcanicEruption "http://upload.wikimedia.org/wikipedia/commons/ d/ d5/ Dds40-097_large.jpeg") pictureList.kif 3272-3272 Volcanic eruption is a subclass of geological process

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


(subclass VolcanicGasRelease VolcanicEruption) Geography.kif 8432-8432 Volcanic gas release is a subclass of volcanic eruption
(termFormat EnglishLanguage VolcanicEruption "volcanic eruption") domainEnglishFormat.kif 61894-61894 Volcanic gas release is a subclass of volcanic eruption
(termFormat ChineseTraditionalLanguage VolcanicEruption "火山爆發") domainEnglishFormat.kif 61895-61895 Volcanic gas release is a subclass of volcanic eruption
(termFormat ChineseLanguage VolcanicEruption "火山爆发") domainEnglishFormat.kif 61896-61896 Volcanic gas release is a subclass of volcanic eruption

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


(=>
    (instance ?event VolcanicEruption)
    (exists (?volcano)
        (and
            (instance ?volcano Volcano)
            (agent ?event ?volcano))))		 Merge.kif 1030-1035 If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of volcano and Y is an agent of X
(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?VOLCANO)
        (and
            (instance ?VOLCANO Volcano)
            (eventLocated ?ERUPTING ?VOLCANO))))		 Merge.kif 1041-1046 If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of volcano and X is located at Y
(=>
    (instance ?ERUPTING VolcanicEruption)
    (exists (?HEATING)
        (and
            (instance ?HEATING Heating)
            (subProcess ?HEATING ?ERUPTING))))		 Merge.kif 1048-1053 If X is an instance of volcanic eruption, then there exists Y such that Y is an instance of heating and Y is a subprocess of X
(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?BLOW VolcanicEruption)
        (eventLocated ?BLOW ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 3316-3321 If X is an instance of geographic area, Y is an instance of volcanic eruption, and Y is located at X, then geologically stable is not an attribute of X

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


(=>
    (instance ?C Crater)
    (exists (?HOST ?EVENT ?METEOR ?BOMB)
        (and
            (hole ?C ?HOST)
            (superficialPart ?SURF
                (HoleHostFn ?C))
            (or
                (and
                    (instance ?EVENT Impacting)
                    (instrument ?EVENT ?METEOR)
                    (instance ?METEOR Meteorite))
                (and
                    (instance ?EVENT Explosion)
                    (instrument ?EVENT ?BOMB)
                    (instance ?BOMB Bomb))
                (instance ?EVENT VolcanicEruption))
            (result ?EVENT ?C))))		 Merge.kif 1059-1075 If X is an instance of crater, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that X is a hole in Y (3) U is a superficial part of the host of the hole X (4) Z is an instance of impacting (5) W is an instrument for Z (6) W is an instance of meteorite or Z is an instance of explosion (7) V is an instrument for Z (8) V is an instance of bomb or Z is an instance of volcanic eruption (9) X is a result of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners