GeographicArea(geographic area) |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2869-2869 | Ghaziabad uttar pradesh india is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2892-2892 | Gush katif gaza strip is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2929-2929 | Hodaya junction israel is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2932-2932 | Holon junction israel is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2943-2943 | Incirlik airbase turkey is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2952-2952 | Island of bali indonesia is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2969-2969 | Jalpaiguri railway station india is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3035-3035 | Katmandu airport nepal is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3040-3040 | Kedumim settlement west bank is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3115-3115 | Les eucalyptus district algeria is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3140-3140 | Los angeles international airport united states is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3145-3145 | Los katios national park colombia is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3176-3176 | Malukka islands indonesia is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3185-3185 | Mangalsen and sanphe bagar nepal is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 94-94 | Middle america is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 83-83 | Middle east region is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3238-3238 | Minharot road west bank is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3249-3249 | Morag junction gaza strip is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3288-3288 | Nallur area sri lanka is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 29-29 | New england is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3308-3308 | Neztarim settlement gaza strip is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3319-3319 | Nokdim tekoa rd west bank is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 91-91 | North america is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 80-80 | Northern africa is an instance of geographic area |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 102-102 | Northern asia is an instance of geographic area |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |