HurghadaEgypt(赫爾格達埃及) |
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 | 赫爾格達埃及 是 埃及 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1802-1802 | 例 赫爾格達埃及 and City |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2938-2938 | 名 "Hurghada" and 赫爾格達埃及 |
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 |