NorteDeSantanderColombia(北桑坦德哥倫比亞) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2146-2146 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1344-1344 | |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3322-3322 | 北桑坦德哥倫比亞 是 哥倫比亞 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2145-2145 | 例 北桑坦德哥倫比亞 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3323-3323 | 名 "Norte de Santander" and 北桑坦德哥倫比亞 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40943-40943 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40942-40942 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40941-40941 |