TreeView Knowledge Base Browser - EarthTremor

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

(documentation EarthTremor EnglishLanguage "An EarthTremor is an individual seismic event in which the earth shakes due to release of seismic pressures.")	Geography.kif 2323-2324
(externalImage EarthTremor "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Seeking_valuables_in_the_wreckage%2C_Galveston%2C_Texas.jpg")	pictureList.kif 2949-2949
(subclass EarthTremor GeologicalProcess)	Geography.kif 2321-2321	Earth tremor is a subclass of geological process
(subclass EarthTremor Tremor)	Geography.kif 2322-2322	Earth tremor is a subclass of tremor

appearance as argument number 2

(subclass Aftershock EarthTremor)	Geography.kif 2326-2326	Aftershock is a subclass of earth tremor
(termFormat ChineseLanguage EarthTremor "地震")	domainEnglishFormat.kif 20805-20805
(termFormat ChineseTraditionalLanguage EarthTremor "地震")	domainEnglishFormat.kif 20804-20804
(termFormat EnglishLanguage EarthTremor "earth tremor")	domainEnglishFormat.kif 20803-20803

antecedent

(=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable)))	Geography.kif 1875-1880	If an object is an instance of geographic area and a process is an instance of earth tremor and the process is located at 2, then geologically stable is not an attribute of the object
(=> (instance ?QUAKE EarthTremor) (exists (?FAULT) (and (instance ?FAULT GeologicalFault) (origin ?QUAKE ?FAULT))))	Geography.kif 2382-2387	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

(=> (and (instance ?SHOCK Aftershock) (eventLocated ?SHOCK ?PLACE)) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (eventLocated ?TREMOR ?PLACE) (before (WhenFn ?TREMOR) (WhenFn ?SHOCK)))))	Geography.kif 2331-2341	If a process is an instance of aftershock and the process is located at 2, then there exists another process such that the other process is an instance of earth tremor and the other process is located at 2 and the time of existence of the other process happens before the time of existence of the process
(=> (and (measure ?QUAKE (MeasureFn ?VALUE RichterMagnitude)) (instance ?QUAKE Earthquake)) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (subProcess ?TREMOR ?QUAKE) (measure ?TREMOR (MeasureFn ?VALUE RichterMagnitude)))))	Geography.kif 2362-2372	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)
(=> (instance ?QUAKE Earthquake) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (subProcess ?TREMOR ?QUAKE))))	Geography.kif 2314-2319	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
(=> (measure ?QUAKE (MeasureFn ?VALUE RichterMagnitude)) (or (instance ?QUAKE EarthTremor) (instance ?QUAKE Earthquake)))	Geography.kif 2356-2360	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 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