TreeView Knowledge Base Browser - VolcanicEruption

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] 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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2433-2434
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3272-3272
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3028-3028
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3273-3273
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3270-3270
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2431-2431	Volcanic eruption is a subclass of geological process

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 6768-6768	Volcanic gas release is a subclass of volcanic eruption
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61893-61893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61892-61892
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61891-61891

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 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 is open source software produced by Articulate Software and its partners