| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17904-17904 | 子類 岩石 and Substance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2019-2019 | 子類 煤 and 岩石 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4449-4449 | 子類 大理石 and 岩石 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4471-4471 | 子類 石 and 岩石 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7263-7263 | 子類 Pebble and 岩石 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7286-7286 | 子類 Cobble and 岩石 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7309-7309 | 子類 Boulder and 岩石 |
|
|