ChocoColombia - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1621-1621
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10619-10619
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10620-10620
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9939-9939
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2727-2727	Choco colombia is a geographic subregion of colombia
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1620-1620	Choco colombia is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2728-2728	Choco colombia has name "Choco"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14640-14640
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14639-14639
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14638-14638