ColombiaCityColombia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1629-1629
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5719-5719
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5721-5721
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5720-5720
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5722-5722
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2738-2738	哥倫比亞市哥倫比亞是哥倫比亞的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1628-1628	例哥倫比亞市哥倫比亞 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2739-2739	名 "Colombia City" and 哥倫比亞市哥倫比亞
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15648-15648
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15647-15647
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15646-15646