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" |
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 |
|