KampalaUganda - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1865-1865
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4755-4755
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5052-5052
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5051-5051
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3019-3019	Kampala uganda is a geographic subregion of uganda
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1864-1864	Kampala uganda is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3020-3020	Kampala uganda has name "Kampala"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32065-32065
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32064-32064
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32063-32063