Aftershock
|
|
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 |
appearance as argument number 2 |
(termFormat ChineseLanguage Aftershock "余震") | domainEnglishFormat.kif 5772-5772 | |
(termFormat ChineseTraditionalLanguage Aftershock "餘震") | domainEnglishFormat.kif 5771-5771 | |
(termFormat EnglishLanguage Aftershock "aftershock") | domainEnglishFormat.kif 5770-5770 |
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 |