| MiddleEastRegion(middle east region)
| | Mashriq, Middle_East, Mideast, Near_East |
| 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 | Middle east region is a geographic subregion of eastern hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 207-207 | Middle east region is a geographic subregion of western hemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 83-83 | Middle east region is an instance of geographic area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 145-145 | Middle east region is an instance of geopolitical area |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 286-286 | Middle east region is northeast to africa |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 285-285 | Middle east region is southwest to asia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 146-146 | Middle east region and asia overlapsSpatially |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 240-240 | Bahrain is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 242-242 | Cyprus is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 244-244 | Gaza strip is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 246-246 | Iran is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 248-248 | Iraq is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 250-250 | Israel is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 252-252 | Jordan is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 254-254 | Kuwait is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 256-256 | Lebanon is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 258-258 | Oman is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 260-260 | Qatar is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 262-262 | Saudi arabia is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 264-264 | Syria is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 266-266 | United arab emirates is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 268-268 | West bank is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 270-270 | Yemen is a geographic subregion of middle east region |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 113-113 | Middle east region has name "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 |
|
|
|