| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14175-14175 | Zone de terre est une sous-classe de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8090-8090 | Cemetery est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8103-8103 | Park est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8134-8134 | CultivatedLandArea est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8206-8206 | Campground est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8217-8217 | CityBlock est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8990-8990 | Field est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14190-14190 | ShoreArea est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14203-14203 | Continent est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14212-14212 | �le Est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14246-14246 | Nation est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14253-14253 | Etat ou province est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14267-14267 | Ville est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14274-14274 | County est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | LandTransitway est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 898-898 | LandlockedArea est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2065-2065 | ArableLand est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2108-2108 | PermanentCropLand est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2202-2202 | IrrigatedLand est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4092-4092 | WatershedDivide est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4196-4196 | Piedmont est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 5818-5818 | Isthmus est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6133-6133 | Shoreline est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6352-6352 | Forest est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6598-6598 | Jungle est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6619-6619 | Desert est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6638-6638 | Oasis est une sous-classe de zone de terre |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6662-6662 | Grassland est une sous-classe de zone de terre |
|
|