SanPabloColombia(圣巴勃罗哥伦比亚) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2286-2286 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1347-1347 | |
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 2285-2285 | 圣巴勃罗哥伦比亚 是 城市 的 instance |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3485-3485 | 圣巴勃罗哥伦比亚 的名 是 "San Pablo" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51173-51173 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51172-51172 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 51171-51171 |