| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14175-14175 | Land area is a subclass of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8090-8090 | Cemetery is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8103-8103 | Park is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8134-8134 | Cultivated land area is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8206-8206 | Campground is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8217-8217 | City block is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8990-8990 | Field is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14190-14190 | Shore area is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14203-14203 | Continent is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14212-14212 | Island is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14246-14246 | Nation is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14253-14253 | State or province is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14267-14267 | City is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14274-14274 | County is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | Land transitway is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 898-898 | Landlocked area is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2065-2065 | Arable land is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2108-2108 | Permanent crop land is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2202-2202 | Irrigated land is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4092-4092 | Watershed divide is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4196-4196 | Piedmont is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5818-5818 | Isthmus is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6133-6133 | Shoreline is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6352-6352 | Forest is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6598-6598 | Jungle is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6619-6619 | Desert is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6638-6638 | Oasis is a subclass of land area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6662-6662 | Grassland is a subclass of land area |
|
|