| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3975-3975 | 土地形式 是 地理区域 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3980-3980 | 高地地区 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3984-3984 | 低地地区 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4012-4012 | 山脉 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | 山 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4043-4043 | 爬坡道 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4057-4057 | 火山 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4101-4101 | 倾斜的区域 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4135-4135 | 高原 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4154-4154 | 台面 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4172-4172 | 孤山 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4226-4226 | 谷 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4243-4243 | 盆地 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4259-4259 | 峡谷 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5757-5757 | 河岸 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5776-5776 | 三角洲 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5793-5793 | 半岛 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5807-5807 | 披肩 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5841-5841 | 群岛 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5911-5911 | 浅滩 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5937-5937 | 礁 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5998-5998 | 冰川 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6048-6048 | 洞穴矩阵 是 土地形式 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6120-6120 | 海岸 是 土地形式 的 subclass |
|
|