Colombia(哥倫比亞) |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3403-3403 | 波多黎各哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3456-3456 | 薩巴特納哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3476-3476 | 聖地亞哥哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3480-3480 | 聖路易斯哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3484-3484 | 聖巴勃羅哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3492-3492 | 聖瑪爾塔哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3507-3507 | 塞戈維亞哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3635-3635 | UWa印度保留哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3630-3630 | 烏拉哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3639-3639 | 瓦萊杜帕爾哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3649-3649 | 比利亞維森西奧哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3688-3688 | Yopal哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3707-3707 | 蘇利亞哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4127-4127 | 名 "Colombia" and 哥倫比亞 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15642-15642 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15641-15641 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15640-15640 |