No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2566-2566 |
阿斯旺埃及 是 埃及 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2568-2568 |
Asyut埃及 是 埃及 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2693-2693 |
开罗,埃及 是 埃及 的 geographic 次要地区 |
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 2937-2937 |
赫尔格达埃及 是 埃及 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3154-3154 |
卢克索埃及 是 埃及 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3947-3947 |
埃及 的名 是 "Egypt" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21336-21336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21335-21335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 21334-21334 |
|