Major MiddleEastRegion
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 148-154 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 594-594 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3352-3352 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 206-206 | 中東地區 是 東半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 207-207 | 中東地區 是 西半球 的 geographic 次要地區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 83-83 | 例 中東地區 and GeographicArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 145-145 | 例 中東地區 and GeopoliticalArea |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 286-286 | 方位 中東地區, 非洲 and 東北 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 285-285 | 方位 中東地區, 亞洲 and 西南 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 146-146 | 在空間上重疊 中東地區 and 亞洲 |
appearance as argument number 2 |
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 |