Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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 20796-20796
(termFormat ChineseTraditionalLanguage Earthquake "地震") domainEnglishFormat.kif 20795-20795
(termFormat EnglishLanguage Earthquake "earthquake") domainEnglishFormat.kif 20794-20794

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


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 is open source software produced by Articulate Software and its partners