No TPTP formula. May not be expressible in strict first order. | Merge.kif 14153-14153 | Land area is a subclass of geographic area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8091-8091 | Cemetery is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8104-8104 | Park is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8135-8135 | Cultivated land area is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8207-8207 | Campground is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8218-8218 | City block is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8991-8991 | Field is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14168-14168 | Shore area is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14181-14181 | Continent is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14190-14190 | Island is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14224-14224 | Nation is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14231-14231 | State or province is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14245-14245 | City is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14252-14252 | County is a subclass of land area |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14285-14285 | 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 |