|
|
  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 | geographicSubregion MiddleEastRegion and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 207-207 | geographicSubregion MiddleEastRegion and WesternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 83-83 | MiddleEastRegion est une instance de secteur g�ographique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 145-145 | MiddleEastRegion est une instance de secteur g�opolitique |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 286-286 | MiddleEastRegion est Northeast � Africa |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 285-285 | MiddleEastRegion est Southwest � Asia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 146-146 | MiddleEastRegion recouvre Asia |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 240-240 | geographicSubregion Bahrain and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 242-242 | geographicSubregion Cyprus and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 244-244 | geographicSubregion GazaStrip and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 246-246 | geographicSubregion Iran and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 248-248 | geographicSubregion Iraq and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 250-250 | geographicSubregion Israel and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 252-252 | geographicSubregion Jordan and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 254-254 | geographicSubregion Kuwait and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 256-256 | geographicSubregion Lebanon and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 258-258 | geographicSubregion Oman and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 260-260 | geographicSubregion Qatar and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 262-262 | geographicSubregion SaudiArabia and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 264-264 | geographicSubregion Syria and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 266-266 | geographicSubregion UnitedArabEmirates and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 268-268 | geographicSubregion WestBank and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 270-270 | geographicSubregion Yemen and MiddleEastRegion |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 113-113 | MiddleEastRegion s'appele nom "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 |
|
|
|
