| Earthquake
| |
| appearance as argument number 1 |
|
|
| (documentation Earthquake EnglishLanguage "Earthquake is the class of events in which the earth shakes while its layers readjust due to tensional stresses in the surface of the earth. A single earthquake may consist of one or more EarthTremors.") | Geography.kif 2306-2309 | |
| (externalImage Earthquake "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Chuetsu_earthquake-earthquake_liquefaction1.jpg") | pictureList.kif 1738-1738 | |
| (externalImage Earthquake "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Pictures_from_bus_13.jpg") | pictureList.kif 2154-2154 | |
| (subclass Earthquake GeologicalProcess) | Geography.kif 2304-2304 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Earthquake "地震") | domainEnglishFormat.kif 20807-20807 | |
| (termFormat ChineseTraditionalLanguage Earthquake "地震") | domainEnglishFormat.kif 20806-20806 | |
| (termFormat EnglishLanguage Earthquake "earthquake") | domainEnglishFormat.kif 20805-20805 |
| antecedent |
|
|
| (=> (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 2359-2369 | |
| (=> (instance ?QUAKE Earthquake) (exists (?FAULT) (and (instance ?FAULT GeologicalFault) (origin ?QUAKE ?FAULT)))) |
Geography.kif 2386-2391 | |
| (=> (instance ?QUAKE Earthquake) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (subProcess ?TREMOR ?QUAKE)))) |
Geography.kif 2311-2316 |
| consequent |
|
|
| (=> (measure ?QUAKE (MeasureFn ?VALUE RichterMagnitude)) (or (instance ?QUAKE EarthTremor) (instance ?QUAKE Earthquake))) |
Geography.kif 2353-2357 |
|
|
|