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 2313-2314
(externalImage Aftershock "http://upload.wikimedia.org/wikipedia/commons/ f/ f4/ Izmit_11-12-99.gif")	pictureList.kif 2936-2936
(subclass Aftershock EarthTremor)	Geography.kif 2311-2311	Aftershock is a subclass of earth tremor

appearance as argument number 2

(termFormat ChineseLanguage Aftershock "余震")	domainEnglishFormat.kif 5781-5781
(termFormat ChineseTraditionalLanguage Aftershock "餘震")	domainEnglishFormat.kif 5780-5780
(termFormat EnglishLanguage Aftershock "aftershock")	domainEnglishFormat.kif 5779-5779

antecedent

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

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: