| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3975-3975 | 子類 土地形式 and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3980-3980 | 子類 高地地區 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3984-3984 | 子類 低地地區 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4012-4012 | 子類 山脈 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | 子類 山 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4043-4043 | 子類 爬坡道 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4057-4057 | 子類 火山 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4101-4101 | 子類 傾斜的區域 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4135-4135 | 子類 高原 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4154-4154 | 子類 檯面 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4172-4172 | 子類 孤山 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4226-4226 | 子類 谷 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4243-4243 | 子類 盆地 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4259-4259 | 子類 峽谷 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5757-5757 | 子類 河岸 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5776-5776 | 子類 三角洲 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5793-5793 | 子類 半島 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5807-5807 | 子類 披肩 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5841-5841 | 子類 群島 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5911-5911 | 子類 淺灘 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5937-5937 | 子類 礁 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5998-5998 | 子類 冰川 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6048-6048 | 子類 洞穴矩陣 and 土地形式 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6120-6120 | 子類 海岸 and 土地形式 |
|
|