Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Earthquake
Earthquake(earthquake)
earthquake, quake, seism, temblor

appearance as argument number 1
-------------------------


(subclass Earthquake GeologicalProcess) Geography.kif 3759-3759 Earthquake is a subclass of geological process
(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 3761-3764 Earthquake is a subclass of geological process
(externalImage Earthquake "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1e/ Chuetsu_earthquake_earthquake_liquefaction1.jpg") pictureList.kif 1738-1738 Earthquake is a subclass of geological process
(externalImage Earthquake "http://upload.wikimedia.org/wikipedia/commons/ e/ e6/ Pictures_from_bus_13.jpg") pictureList.kif 2154-2154 Earthquake is a subclass of geological process

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Earthquake "earthquake") domainEnglishFormat.kif 20796-20796
(termFormat ChineseTraditionalLanguage Earthquake "地震") domainEnglishFormat.kif 20797-20797
(termFormat ChineseLanguage Earthquake "地震") domainEnglishFormat.kif 20798-20798

antecedent
-------------------------


(=>
    (instance ?QUAKE Earthquake)
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (subProcess ?TREMOR ?QUAKE))))		 Geography.kif 3766-3771 If X is an instance of earthquake, then there exists Y such that Y is an instance of earth tremor and Y is a subprocess of X
(=>
    (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 3814-3824 If the measure of X is Y richter magnitude(s) and X is an instance of earthquake, then there exists Z such that Z is an instance of earth tremor and Z is a subprocess of X and the measure of Z is Y richter magnitude(s)
(=>
    (instance ?QUAKE Earthquake)
    (exists (?FAULT)
        (and
            (instance ?FAULT GeologicalFault)
            (origin ?QUAKE ?FAULT))))		 Geography.kif 3841-3846 If X is an instance of earthquake, then there exists Y such that Y is an instance of geological fault and X originates at Y

consequent
-------------------------


(=>
    (measure ?QUAKE
        (MeasureFn ?VALUE RichterMagnitude))
    (or
        (instance ?QUAKE EarthTremor)
        (instance ?QUAKE Earthquake)))		 Geography.kif 3808-3812 If the measure of X is Y richter magnitude(s), then X is an instance of earth tremor or X is an instance of earthquake


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners