BanguiCentralAfricanRepublic - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1505-1505
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5710-5710
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5598-5598
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2604-2604	Bangui central african republic is a geographic subregion of central african republic
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1504-1504	Bangui central african republic is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2605-2605	Bangui central african republic has name "Bangui"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9798-9798
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9797-9797
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 9796-9796