GizaEgypt - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1749-1749
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3495-3495
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3498-3498
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3500-3500
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3499-3499
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3496-3496
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 3497-3497
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2876-2876	吉薩埃及是埃及的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1748-1748	例吉薩埃及 and City

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 2877-2877	名 "Giza" and 吉薩埃及
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26094-26094
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26093-26093
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26092-26092