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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EarthTremor
EarthTremor(earth tremor)
earth_tremor, foreshock, microseism, quake, seaquake, seismic_disturbance, shock, submarine_earthquake, tremor

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2323-2324
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2949-2949
No TPTP formula. May not be expressible in strict first order. Geography.kif 2321-2321 Earth tremor is a subclass of geological process
No TPTP formula. May not be expressible in strict first order. Geography.kif 2322-2322 Earth tremor is a subclass of tremor

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2326-2326 Aftershock is a subclass of earth tremor
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20805-20805
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20804-20804
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 20803-20803

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 1875-1880
No TPTP formula. May not be expressible in strict first order. Geography.kif 2382-2387

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 2331-2341
No TPTP formula. May not be expressible in strict first order. Geography.kif 2362-2372
No TPTP formula. May not be expressible in strict first order. Geography.kif 2314-2319
No TPTP formula. May not be expressible in strict first order. Geography.kif 2356-2360


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