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

KB Term:  Term intersection
English Word: 

Sigma KEE - EarthTremor
EarthTremor(earth tremor)
earth_tremor, foreshock, microseism, quake, seaquake, seismic_disturbance, shock, submarine_earthquake, tremor

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


(subclass EarthTremor GeologicalProcess) Geography.kif 3773-3773 Earth tremor is a subclass of geological process
(subclass EarthTremor Tremor) Geography.kif 3774-3774 Earth tremor is a subclass of tremor
(documentation EarthTremor EnglishLanguage "An EarthTremor is an individual seismic event in which the earth shakes due to release of seismic pressures.") Geography.kif 3775-3776 Earth tremor is a subclass of tremor
(externalImage EarthTremor "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Seeking_valuables_in_the_wreckage%2C_Galveston%2C_Texas.jpg") pictureList.kif 2947-2947 Earth tremor is a subclass of tremor

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


(subclass Aftershock EarthTremor) Geography.kif 3778-3778 Aftershock is a subclass of earth tremor
(termFormat EnglishLanguage EarthTremor "earth tremor") domainEnglishFormat.kif 20814-20814 Aftershock is a subclass of earth tremor
(termFormat ChineseTraditionalLanguage EarthTremor "地震") domainEnglishFormat.kif 20815-20815 Aftershock is a subclass of earth tremor
(termFormat ChineseLanguage EarthTremor "地震") domainEnglishFormat.kif 20816-20816 Aftershock is a subclass of earth tremor

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 3323-3328 If X is an instance of geographic area, Y is an instance of earth tremor, and Y is located at X, then geologically stable is not an attribute of X
(=>
    (instance ?QUAKE EarthTremor)
    (exists (?FAULT)
        (and
            (instance ?FAULT GeologicalFault)
            (origin ?QUAKE ?FAULT))))		 Geography.kif 3834-3839 If X is an instance of earth tremor, then there exists Y such that Y is an instance of geological fault and X originates at Y

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


(=>
    (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
        (instance ?SHOCK Aftershock)
        (eventLocated ?SHOCK ?PLACE))
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (eventLocated ?TREMOR ?PLACE)
            (before
                (WhenFn ?TREMOR)
                (WhenFn ?SHOCK)))))		 Geography.kif 3783-3793 If X is an instance of aftershock and X is located at Y, then there exists Z such that Z is an instance of earth tremor, Z is located at Y, and the time of existence of Z happens before the time of existence of X
(=>
    (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
(=>
    (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)


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