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	Colombia city colombia is a geographic subregion of colombia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1628-1628	Colombia city colombia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2739-2739	Colombia city colombia has name "Colombia City"
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