No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 240-240 |
巴林 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 242-242 |
塞浦路斯 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 244-244 |
加沙地帶 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 246-246 |
伊朗 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 248-248 |
伊拉克 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 250-250 |
以色列 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 252-252 |
約旦 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 254-254 |
科威特 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 256-256 |
黎巴嫩 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 258-258 |
阿曼 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 260-260 |
卡塔爾 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 262-262 |
沙特阿拉伯 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 264-264 |
敘利亞 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 266-266 |
阿拉伯聯合酋長國 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 268-268 |
西方銀行 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 270-270 |
葉門 是 中東地區 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 113-113 |
名 "Middle East" and 中東地區 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37463-37463 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37462-37462 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37461-37461 |
|