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 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	Volcanic eruption is a subclass of geological process

appearance as argument number 2

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

antecedent

(=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1865-1870	If an object is an instance of geographic area and a process is an instance of volcanic eruption and the process is located at the object, then geologically stable is not an attribute of the object
(=> (instance ?ERUPTING VolcanicEruption) (exists (?HEATING) (and (instance ?HEATING Heating) (subProcess ?HEATING ?ERUPTING))))	Geography.kif 2443-2448	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 2436-2441	If a process is an instance of volcanic eruption, then there exists an object such that the object is an instance of volcano and the process is located at the object
(=> (instance ?event VolcanicEruption) (exists (?volcano) (and (instance ?volcano Volcano) (agent ?event ?volcano))))	Geography.kif 4071-4076	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