| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14153-14153 | 子類 LandArea and GeographicArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8091-8091 | 子類 公墓 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8104-8104 | 子類 公園 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8135-8135 | 子類 耕地面積 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8207-8207 | 子類 營地 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8218-8218 | 子類 城市街區 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8991-8991 | 子類 領域 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14168-14168 | 子類 岸區 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14181-14181 | 子類 Continent and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14190-14190 | 子類 Island and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14224-14224 | 子類 Nation and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14231-14231 | 子類 StateOrProvince and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14245-14245 | 子類 City and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14252-14252 | 子類 縣 and LandArea |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14285-14285 | 子類 陸地過境通道 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 |
|
|