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 2308-2309
(externalImage EarthTremor "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Seeking_valuables_in_the_wreckage%2C_Galveston%2C_Texas.jpg") pictureList.kif 2947-2947
(subclass EarthTremor GeologicalProcess) Geography.kif 2306-2306 EarthTremor est une sous-classe de GeologicalProcess
(subclass EarthTremor Tremor) Geography.kif 2307-2307 EarthTremor est une sous-classe de Tremor

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


(subclass Aftershock EarthTremor) Geography.kif 2311-2311 Aftershock est une sous-classe de EarthTremor
(termFormat ChineseLanguage EarthTremor "地震") domainEnglishFormat.kif 20829-20829 Aftershock est une sous-classe de EarthTremor
(termFormat ChineseTraditionalLanguage EarthTremor "地震") domainEnglishFormat.kif 20828-20828 Aftershock est une sous-classe de EarthTremor
(termFormat EnglishLanguage EarthTremor "earth tremor") domainEnglishFormat.kif 20827-20827 Aftershock est une sous-classe de EarthTremor

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


(=>
    (and
        (instance ?AREA GeographicArea)
        (instance ?SHAKING EarthTremor)
        (eventLocated ?SHAKING ?AREA))
    (not
        (attribute ?AREA GeologicallyStable)))		 Geography.kif 1860-1865
(=>
    (instance ?QUAKE EarthTremor)
    (exists (?FAULT)
        (and
            (instance ?FAULT GeologicalFault)
            (origin ?QUAKE ?FAULT))))		 Geography.kif 2367-2372

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


(=>
    (and
        (instance ?SHOCK Aftershock)
        (eventLocated ?SHOCK ?PLACE))
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (eventLocated ?TREMOR ?PLACE)
            (before
                (WhenFn ?TREMOR)
                (WhenFn ?SHOCK)))))		 Geography.kif 2316-2326
(=>
    (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 2347-2357
(=>
    (instance ?QUAKE Earthquake)
    (exists (?TREMOR)
        (and
            (instance ?TREMOR EarthTremor)
            (subProcess ?TREMOR ?QUAKE))))		 Geography.kif 2299-2304
(=>
    (measure ?QUAKE
        (MeasureFn ?VALUE RichterMagnitude))
    (or
        (instance ?QUAKE EarthTremor)
        (instance ?QUAKE Earthquake)))		 Geography.kif 2341-2345


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