| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14175-14175 | 子類 LandArea and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8090-8090 | 子類 公墓 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8103-8103 | 子類 公園 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8134-8134 | 子類 耕地面積 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8206-8206 | 子類 營地 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8217-8217 | 子類 城市街區 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8990-8990 | 子類 領域 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14190-14190 | 子類 岸區 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14203-14203 | 子類 Continent and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14212-14212 | 子類 Island and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14246-14246 | 子類 Nation and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14253-14253 | 子類 StateOrProvince and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14267-14267 | 子類 City and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14274-14274 | 子類 縣 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | 子類 陸地過境通道 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 898-898 | 子類 內陸地區 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2065-2065 | 子類 耕地 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2108-2108 | 子類 永久性耕地 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2202-2202 | 子類 灌溉土地 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4092-4092 | 子類 分水嶺 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4196-4196 | 子類 山前 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5818-5818 | 子類 地峽 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6133-6133 | 子類 海岸線 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6352-6352 | 子類 森林 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6598-6598 | 子類 叢林 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6619-6619 | 子類 沙漠 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6638-6638 | 子類 綠洲 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6662-6662 | 子類 草原 and LandArea |
|
|