No TPTP formula. May not be expressible in strict first order. | Merge.kif 11188-11188 | 地质过程 是 自然过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11189-11189 | 地质过程 是 运动 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11190-11190 | 地质过程 是 内部变化 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2304-2304 | 地震 是 地质过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2318-2318 | 地震 是 地质过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2431-2431 | 火山爆发 是 地质过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2627-2627 | 碳循环 是 地质过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2675-2675 | 侵蚀 是 地质过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6763-6763 | 滑坡 是 地质过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6769-6769 | 地面沉降 是 地质过程 的 subclass |