|
|
  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 e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 145-145 | MiddleEastRegion e' uma instancia de Area Geopolitica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 286-286 | MiddleEastRegion e' Northeast em relacao a Africa |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 285-285 | MiddleEastRegion e' Southwest em relacao a Asia |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 146-146 | MiddleEastRegion engloba 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 se chama nome "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 |
|
|
|
