No TPTP formula. May not be expressible in strict first order. | Geography.kif 6067-6067 | 子類 淹沒的土地面積 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1058-1058 | 子類 海運貨架區 and 淹沒的土地面積 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6081-6081 | 子類 大陸棚 and 淹沒的土地面積 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6088-6088 | 子類 大陸邊緣 and 淹沒的土地面積 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6104-6104 | 子類 海底區域 and 淹沒的土地面積 |