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 2306-2309
(externalImage Earthquake "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Chuetsu_earthquake-earthquake_liquefaction1.jpg")	pictureList.kif 1739-1739
(externalImage Earthquake "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Pictures_from_bus_13.jpg")	pictureList.kif 2155-2155
(subclass Earthquake GeologicalProcess)	Geography.kif 2304-2304	Earthquake is a subclass of geological process

appearance as argument number 2

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

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	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 2386-2391	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 2311-2316	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 2353-2357