No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 427-427 |
安圭拉 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 428-428 |
安提瓜和巴布達 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 430-430 |
阿魯巴 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 433-433 |
巴巴多斯 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 435-435 |
英屬維爾京群島 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 436-436 |
開曼群島 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 437-437 |
古巴 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 440-440 |
多米尼加 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 442-442 |
多明尼加共和國 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 444-444 |
格林納達 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 446-446 |
瓜德羅普島 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 447-447 |
海地 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 449-449 |
牙買加 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 451-451 |
馬提尼克 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 452-452 |
蒙特塞拉特 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 453-453 |
納瓦薩島 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 454-454 |
荷屬安的列斯 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 455-455 |
波多黎各 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 456-456 |
聖基茨和尼維斯 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 458-458 |
聖露西亞 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 460-460 |
聖文森特和格林納丁斯 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 431-431 |
巴哈馬 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 462-462 |
特立尼達和多巴哥 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 464-464 |
特克斯和凱科斯群島 是 加勒比地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 465-465 |
維爾京群島 是 加勒比地區 的 geographic 次要地區 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |