No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 2498-2498 |
腺也门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3089-3089 |
科兰也门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3208-3208 |
Mawdiyah叶门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3258-3258 |
Mukallah aden 叶门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3411-3411 |
拉达阿曼也门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3452-3452 |
萨达叶门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3488-3488 |
萨那叶门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3558-3558 |
Sumayr叶门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3661-3661 |
Wadi al dabaat 叶门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 3694-3694 |
扎马叶门 是 叶门 的 geographic 次要地区 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 4016-4016 |
叶门 的名 是 "Yemen" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63799-63799 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63798-63798 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 63797-63797 |
|