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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EarthTremor
EarthTremor

VerbNet: modes_of_being_with_motion-47.3|quake, modes_of_being_with_motion-47.3|quake,


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 2265-2266
(externalImage EarthTremor "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Seeking_valuables_in_the_wreckage%2C_Galveston%2C_Texas.jpg") pictureList.kif 2949-2949
(subclass EarthTremor GeologicalProcess) Geography.kif 2263-2263
(subclass EarthTremor Tremor) Geography.kif 2264-2264

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


(subclass Aftershock EarthTremor) Geography.kif 2268-2268
(termFormat ChineseLanguage EarthTremor "地震") domainEnglishFormat.kif 20743-20743
(termFormat ChineseTraditionalLanguage EarthTremor "地震") domainEnglishFormat.kif 20742-20742
(termFormat EnglishLanguage EarthTremor "earth tremor") domainEnglishFormat.kif 20741-20741

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1825-1830
(=>
    (instance ?QUAKE EarthTremor)
    (exists (?FAULT)
        (and
            (instance ?FAULT GeologicalFault)
            (origin ?QUAKE ?FAULT))))
Geography.kif 2320-2325

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


(=>
    (and
        (instance ?SHOCK Aftershock)
        (eventLocated ?SHOCK ?PLACE))
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (eventLocated ?TREMOR ?PLACE)
            (before
                (WhenFn ?TREMOR)
                (WhenFn ?SHOCK)))))
Geography.kif 2273-2281
(=>
    (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 2302-2310
(=>
    (instance ?QUAKE Earthquake)
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (subProcess ?TREMOR ?QUAKE))))
Geography.kif 2256-2261
(=>
    (measure ?QUAKE
        (MeasureFn ?VALUE RichterMagnitude))
    (or
        (instance ?QUAKE EarthTremor)
        (instance ?QUAKE Earthquake)))
Geography.kif 2296-2300


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners