| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14153-14153 | Area terrestre e' uma sub-classe de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8091-8091 | Cemetery e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8104-8104 | Park e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8135-8135 | CultivatedLandArea e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8207-8207 | Campground e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8218-8218 | CityBlock e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8991-8991 | Field e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14168-14168 | ShoreArea e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14181-14181 | Continente e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14190-14190 | Ilha e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14224-14224 | Nacao e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14231-14231 | Estado ou Provincia e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14245-14245 | Cidade e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14252-14252 | County e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14285-14285 | LandTransitway e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 898-898 | LandlockedArea e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2065-2065 | ArableLand e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2108-2108 | PermanentCropLand e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2202-2202 | IrrigatedLand e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4092-4092 | WatershedDivide e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4196-4196 | Piedmont e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5818-5818 | Isthmus e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6133-6133 | Shoreline e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6352-6352 | Forest e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6598-6598 | Jungle e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6619-6619 | Desert e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6638-6638 | Oasis e' uma sub-classe de Area terrestre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6662-6662 | Grassland e' uma sub-classe de Area terrestre |
|
|