Aftershock - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Aftershock EnglishLanguage "Aftershock is the subclass of EarthTremors that occur after the main tremor(s) of an Earthquake.")	Geography.kif 2325-2326
(externalImage Aftershock "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Izmit_11-12-99.gif")	pictureList.kif 2937-2937
(subclass Aftershock EarthTremor)	Geography.kif 2323-2323	Aftershock is a subclass of earth tremor

appearance as argument number 2

(termFormat ChineseLanguage Aftershock "余震")	domainEnglishFormat.kif 5776-5776
(termFormat ChineseTraditionalLanguage Aftershock "餘震")	domainEnglishFormat.kif 5775-5775
(termFormat EnglishLanguage Aftershock "aftershock")	domainEnglishFormat.kif 5774-5774

antecedent

(=>
    (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

If a process is an instance of aftershock and the process is located at an object,
then there exists another process such that the other process is an instance of earth tremor and the other process is located at the object and the time of existence of the other process happens before the time of existence of the process

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

KB Term:			Term intersection

English Word: