VolcanicEruption - Sigma Knowledge base Browser

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	If an object is an instance of geographic area and a process is an instance of volcanic eruption and the process is located at 2, then geologically stable is not an attribute of the object
(=> (instance ?ERUPTING VolcanicEruption) (exists (?HEATING) (and (instance ?HEATING Heating) (subProcess ?HEATING ?ERUPTING))))	Geography.kif 2446-2451	If a process is an instance of volcanic eruption, then there exists another process such that the other process is an instance of heating and the other process is a subprocess of the process
(=> (instance ?ERUPTING VolcanicEruption) (exists (?VOLCANO) (and (instance ?VOLCANO Volcano) (eventLocated ?ERUPTING ?VOLCANO))))	Geography.kif 2439-2444	If a process is an instance of volcanic eruption, then there exists an entity such that the entity is an instance of volcano and the process is located at 2
(=> (instance ?event VolcanicEruption) (exists (?volcano) (and (instance ?volcano Volcano) (agent ?event ?volcano))))	Geography.kif 3993-3998	If a process is an instance of volcanic eruption, then there exists an agent such that the agent is an instance of volcano and the agent is an agent of the process

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