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

appearance as argument number 2

(subclass VolcanicGasRelease VolcanicEruption)	Geography.kif 6836-6836	Volcanic gas release is a subclass of volcanic eruption
(termFormat ChineseLanguage VolcanicEruption "火山爆发")	domainEnglishFormat.kif 61916-61916	Volcanic gas release is a subclass of volcanic eruption
(termFormat ChineseTraditionalLanguage VolcanicEruption "火山爆發")	domainEnglishFormat.kif 61915-61915	Volcanic gas release is a subclass of volcanic eruption
(termFormat EnglishLanguage VolcanicEruption "volcanic eruption")	domainEnglishFormat.kif 61914-61914	Volcanic gas release is a subclass of volcanic eruption

antecedent

(=> (and (instance ?AREA GeographicArea) (instance ?BLOW VolcanicEruption) (eventLocated ?BLOW ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1853-1858	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 2431-2436	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 2424-2429	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 4140-4145	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