No TPTP formula. May not be expressible in strict first order. | Geography.kif 2318-2318 | Earth tremor is a subclass of geological process |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2319-2319 | Earth tremor is a subclass of tremor |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2323-2323 | Aftershock is a subclass of earth tremor |