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	geographicSubregion CairoEgypt and Egypt
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1584-1584	CairoEgypt est une instance de ville

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2694-2694	CairoEgypt s'appele nom "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