CairoEgypt - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1585-1585
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3454-3454
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4573-4573
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3452-3452
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3450-3450
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3451-3451
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2693-2693	Cairo egypt is a geographic subregion of egypt
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1584-1584	Cairo egypt is an instance of city

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2694-2694	Cairo egypt has name "Cairo"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12691-12691
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12690-12690
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12689-12689