| EarthTremor
| |
| 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 2308-2309 | |
| (externalImage EarthTremor "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Seeking_valuables_in_the_wreckage%2C_Galveston%2C_Texas.jpg") | pictureList.kif 2947-2947 | |
| (subclass EarthTremor GeologicalProcess) | Geography.kif 2306-2306 | |
| (subclass EarthTremor Tremor) | Geography.kif 2307-2307 |
| appearance as argument number 2 |
|
|
| (subclass Aftershock EarthTremor) | Geography.kif 2311-2311 | |
| (termFormat ChineseLanguage EarthTremor "地震") | domainEnglishFormat.kif 20825-20825 | |
| (termFormat ChineseTraditionalLanguage EarthTremor "地震") | domainEnglishFormat.kif 20824-20824 | |
| (termFormat EnglishLanguage EarthTremor "earth tremor") | domainEnglishFormat.kif 20823-20823 |
| antecedent |
|
|
| (=> (and (instance ?AREA GeographicArea) (instance ?SHAKING EarthTremor) (eventLocated ?SHAKING ?AREA)) (not (attribute ?AREA GeologicallyStable))) |
Geography.kif 1860-1865 | |
| (=> (instance ?QUAKE EarthTremor) (exists (?FAULT) (and (instance ?FAULT GeologicalFault) (origin ?QUAKE ?FAULT)))) |
Geography.kif 2367-2372 |
| consequent |
|
|
| (=> (and (instance ?SHOCK Aftershock) (eventLocated ?SHOCK ?PLACE)) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (eventLocated ?TREMOR ?PLACE) (before (WhenFn ?TREMOR) (WhenFn ?SHOCK))))) |
Geography.kif 2316-2326 | |
| (=> (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 2347-2357 | |
| (=> (instance ?QUAKE Earthquake) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (subProcess ?TREMOR ?QUAKE)))) |
Geography.kif 2299-2304 | |
| (=> (measure ?QUAKE (MeasureFn ?VALUE RichterMagnitude)) (or (instance ?QUAKE EarthTremor) (instance ?QUAKE Earthquake))) |
Geography.kif 2341-2345 |
|
|
|