KhartoumSudan - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1899-1899
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5753-5753
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5752-5752
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5751-5751
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 5754-5754
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3059-3059	Khartoum sudan is a geographic subregion of sudan
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1898-1898	Khartoum sudan is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 3060-3060	Khartoum sudan has name "Khartoum"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32425-32425
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32424-32424
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32423-32423