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" |
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 |