Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Aftershock
Aftershock(aftershock)
aftershock, 余震, 餘震

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Geography.kif 2270-2271
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2938-2938 "http://upload.wikimedia.org/wikipedia/commons/f/f4/ Izmit_11-12-99.gif" is a URL depicting aftershock
No TPTP formula. May not be expressible in strict first order. Geography.kif 2268-2268 Aftershock is a subclass of earth tremor

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5779-5779 "余震" is the printable form of aftershock in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5778-5778 "餘震" is the printable form of aftershock in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5777-5777 "aftershock" is the printable form of aftershock in english language

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2273-2281


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners