No TPTP formula. May not be expressible in strict first order. | Merge.kif 14199-14199 | 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 8118-8118 | Cemetery est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8131-8131 | Park est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8162-8162 | CultivatedLandArea est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8234-8234 | Campground est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8245-8245 | CityBlock est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9018-9018 | Field est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14214-14214 | ShoreArea est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14227-14227 | Continent est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14236-14236 | �le Est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14270-14270 | Nation est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14277-14277 | Etat ou province est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14291-14291 | Ville est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14298-14298 | County est une sous-classe de zone de terre |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14331-14331 | 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 |