Earthquake - Sigma Knowledge base Browser

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 2294-2297
(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 2292-2292	Earthquake is a subclass of geological process

appearance as argument number 2

(termFormat ChineseLanguage Earthquake "地震")	domainEnglishFormat.kif 20811-20811
(termFormat ChineseTraditionalLanguage Earthquake "地震")	domainEnglishFormat.kif 20810-20810
(termFormat EnglishLanguage Earthquake "earthquake")	domainEnglishFormat.kif 20809-20809

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 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)
(=> (instance ?QUAKE Earthquake) (exists (?FAULT) (and (instance ?FAULT GeologicalFault) (origin ?QUAKE ?FAULT))))	Geography.kif 2374-2379	If a process is an instance of earthquake, then there exists an object such that the object is an instance of geological fault and the process originates at the object
(=> (instance ?QUAKE Earthquake) (exists (?TREMOR) (and (instance ?TREMOR EarthTremor) (subProcess ?TREMOR ?QUAKE))))	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

consequent

(=>
    (measure ?QUAKE
        (MeasureFn ?VALUE RichterMagnitude))
    (or
        (instance ?QUAKE EarthTremor)
        (instance ?QUAKE Earthquake)))

Geography.kif 2341-2345