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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EarthTremor
EarthTremor

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


(documentation EarthTremor EnglishLanguage "An EarthTremor is an individual seismic event in which the earth shakes due to release of seismic pressures.") Geography.kif 2320-2321
(externalImage EarthTremor "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Seeking_valuables_in_the_wreckage%2C_Galveston%2C_Texas.jpg") pictureList.kif 2948-2948
(subclass EarthTremor GeologicalProcess) Geography.kif 2318-2318
(subclass EarthTremor Tremor) Geography.kif 2319-2319

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


(subclass Aftershock EarthTremor) Geography.kif 2323-2323
(termFormat ChineseLanguage EarthTremor "地震") domainEnglishFormat.kif 20814-20814
(termFormat ChineseTraditionalLanguage EarthTremor "地震") domainEnglishFormat.kif 20813-20813
(termFormat EnglishLanguage EarthTremor "earth tremor") domainEnglishFormat.kif 20812-20812

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1872-1877
(=>
    (instance ?QUAKE EarthTremor)
    (exists (?FAULT)
        (and
            (instance ?FAULT GeologicalFault)
            (origin ?QUAKE ?FAULT))))
Geography.kif 2379-2384

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


(=>
    (and
        (instance ?SHOCK Aftershock)
        (eventLocated ?SHOCK ?PLACE))
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (eventLocated ?TREMOR ?PLACE)
            (before
                (WhenFn ?TREMOR)
                (WhenFn ?SHOCK)))))
Geography.kif 2328-2338
(=>
    (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 (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (subProcess ?TREMOR ?QUAKE))))
Geography.kif 2311-2316
(=>
    (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