No TPTP formula. May not be expressible in strict first order. | Geography.kif 2893-2893 | 子類 鹽鹼 and Combining |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2894-2894 | 子類 鹽鹼 and 自然過程 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 2952-2952 | 子類 土壤鹽漬化 and 鹽鹼 |