| 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 4013-4013 | 子類 山脈 and 高地地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4027-4027 | 子類 山 and 高地地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4044-4044 | 子類 爬坡道 and 高地地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4093-4093 | 子類 分水嶺 and 高地地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4136-4136 | 子類 高原 and 高地地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4155-4155 | 子類 檯面 and 高地地區 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4171-4171 | 子類 孤山 and 高地地區 |
|
|