ColombiaPanama - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1631-1631
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8427-8427
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9083-9083
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9088-9088
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9084-9084
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9085-9085
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9089-9089
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9090-9090
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2740-2740	Colombia panama is a geographic subregion of panama
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1630-1630	Colombia panama is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2540-2540	Antioquia colombia is a geographic subregion of colombia panama
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2548-2548	Arauca colombia is a geographic subregion of colombia panama
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2586-2586	Bagre colombia is a geographic subregion of colombia panama
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2741-2741	Colombia panama has name "Colombia"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15666-15666
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15665-15665
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15664-15664