Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners