| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11188-11188 | Geological process is a subclass of natural process |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11189-11189 | Geological process is a subclass of motion |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11190-11190 | Geological process is a subclass of internal change |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2304-2304 | Earthquake is a subclass of geological process |
| 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 2431-2431 | Volcanic eruption is a subclass of geological process |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2627-2627 | Carbon cycle is a subclass of geological process |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2675-2675 | Erosion is a subclass of geological process |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6763-6763 | Landslide is a subclass of geological process |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6769-6769 | Land subsidence is a subclass of geological process |
|
|