Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation EarthTremor EnglishLanguage "An EarthTremor is an individual seismic event in which the earth shakes due to release of seismic pressures.") Geography.kif 2323-2324
(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 2321-2321 Earth tremor is a subclass of geological process
(subclass EarthTremor Tremor) Geography.kif 2322-2322 Earth tremor is a subclass of tremor

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


(subclass Aftershock EarthTremor) Geography.kif 2326-2326 Aftershock is a subclass of earth tremor
(termFormat ChineseLanguage EarthTremor "地震") domainEnglishFormat.kif 20805-20805
(termFormat ChineseTraditionalLanguage EarthTremor "地震") domainEnglishFormat.kif 20804-20804
(termFormat EnglishLanguage EarthTremor "earth tremor") domainEnglishFormat.kif 20803-20803

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))
Geography.kif 1875-1880
(=>
    (instance ?QUAKE EarthTremor)
    (exists (?FAULT)
        (and
            (instance ?FAULT GeologicalFault)
            (origin ?QUAKE ?FAULT))))
Geography.kif 2382-2387

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


(=>
    (and
        (instance ?SHOCK Aftershock)
        (eventLocated ?SHOCK ?PLACE))
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (eventLocated ?TREMOR ?PLACE)
            (before
                (WhenFn ?TREMOR)
                (WhenFn ?SHOCK)))))
Geography.kif 2331-2341
(=>
    (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 2362-2372
(=>
    (instance ?QUAKE Earthquake)
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (subProcess ?TREMOR ?QUAKE))))
Geography.kif 2314-2319
(=>
    (measure ?QUAKE
        (MeasureFn ?VALUE RichterMagnitude))
    (or
        (instance ?QUAKE EarthTremor)
        (instance ?QUAKE Earthquake)))
Geography.kif 2356-2360


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