GeographicArea(地理区域) |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2869-2869 | 加济阿巴德 北方邦 印度 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2892-2892 | Gush katif 加沙地带 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2929-2929 | 以色列hodaya交界处 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2932-2932 | 以色列的霍隆交界处 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2943-2943 | Incirlik空军基地土耳其 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2952-2952 | 巴厘岛印度尼西亚 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2969-2969 | Jalpaiguri火车站印度 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3035-3035 | 加德满都机场尼泊尔 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3040-3040 | Kedumim定居西岸 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3115-3115 | 阿尔及利亚les eucalyptus地区 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3140-3140 | 洛杉矶国际机场美国 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3145-3145 | Los katios国家公园哥伦比亚 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3176-3176 | 马鲁库群岛印度尼西亚 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3185-3185 | Mangalsen 和 sanphe 尼泊尔 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 94-94 | 中美洲 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 83-83 | 中东地区 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3238-3238 | Minharot路西岸 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3249-3249 | Morag junction 加沙地帶 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3288-3288 | 纳鲁尔地区斯里兰卡 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 29-29 | 新英格兰 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3308-3308 | Neztarim定居加沙地带 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3319-3319 | Nokdim tekoa rd 西岸 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 91-91 | 北美 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 80-80 | 北非 是 地理区域 的 instance |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 102-102 | 北亚 是 地理区域 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |