EarthTremor - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - EarthTremor

EarthTremor(earth tremor)

earth_tremor, foreshock, microseism, quake, seaquake, seismic_disturbance, shock, submarine_earthquake, tremor

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2308-2309
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2947-2947
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2306-2306	Earth tremor is a subclass of geological process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2307-2307	Earth tremor is a subclass of tremor

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2311-2311	Aftershock is a subclass of earth tremor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20829-20829	Aftershock is a subclass of earth tremor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20828-20828	Aftershock is a subclass of earth tremor
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 20827-20827	Aftershock is a subclass of earth tremor

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 1860-1865	If an object is an instance of geographic area and a process is an instance of earth tremor 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 2367-2372	If a process is an instance of earth tremor, then there exists an object such that the object is an instance of geological fault and the process originates at the object

consequent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2316-2326	If a process is an instance of aftershock and the process is located at an object, then there exists another process such that the other process is an instance of earth tremor and the other process is located at the object and the time of existence of the other process happens before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2347-2357	If the measure of a process is a real number richter magnitude(s) and the process is an instance of earthquake, then there exists another process such that the other process is an instance of earth tremor and the other process is a subprocess of the process and the measure of the other process is the real number richter magnitude(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2299-2304	If a process is an instance of earthquake, then there exists another process such that the other process is an instance of earth tremor and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2341-2345	If the measure of a physical is a real number richter magnitude(s), then the physical is an instance of earth tremor or the physical is an instance of earthquake

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