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 哥倫比亞是哥倫比亞的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1620-1620	例 choco 哥倫比亞 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2728-2728	名 "Choco" and 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