GeographicArea(secteur g�ographique) |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2869-2869 | GhaziabadUttarPradeshIndia est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2892-2892 | GushKatifGazaStrip est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2929-2929 | HodayaJunctionIsrael est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2932-2932 | HolonJunctionIsrael est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2943-2943 | IncirlikAirbaseTurkey est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2952-2952 | IslandOfBaliIndonesia est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2969-2969 | JalpaiguriRailwayStationIndia est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3035-3035 | KatmanduAirportNepal est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3040-3040 | KedumimSettlementWestBank est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3115-3115 | LesEucalyptusDistrictAlgeria est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3140-3140 | LosAngelesInternationalAirportUnitedStates est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3145-3145 | LosKatiosNationalParkColombia est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3176-3176 | MalukkaIslandsIndonesia est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3185-3185 | MangalsenAndSanpheBagarNepal est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 94-94 | MiddleAmerica est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 83-83 | MiddleEastRegion est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3238-3238 | MinharotRoadWestBank est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3249-3249 | MoragJunctionGazaStrip est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3288-3288 | NallurAreaSriLanka est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 29-29 | NewEngland est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3308-3308 | NeztarimSettlementGazaStrip est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3319-3319 | NokdimTekoaRdWestBank est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 91-91 | NorthAmerica est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 80-80 | NorthernAfrica est une instance de secteur g�ographique |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 102-102 | NorthernAsia est une instance de secteur g�ographique |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |