HurghadaEgypt - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1803-1803
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3337-3337
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3536-3536
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2937-2937	geographicSubregion HurghadaEgypt and Egypt
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1802-1802	HurghadaEgypt e' uma instancia de Cidade

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2938-2938	HurghadaEgypt se chama nome "Hurghada"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28959-28959
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28958-28958
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28957-28957