|
|
  WesternEurope
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 160-160 | geographicSubregion WesternEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 223-223 | geographicSubregion WesternEurope and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 88-88 | WesternEurope e' uma instancia de Area Geografica |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 221-221 | WesternEurope engloba EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 222-222 | WesternEurope engloba WesternHemisphere |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 348-348 | geographicSubregion Belgium and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 350-350 | geographicSubregion France and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 352-352 | geographicSubregion Guernsey and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 353-353 | geographicSubregion Ireland and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 358-358 | geographicSubregion IsleOfMan and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 355-355 | geographicSubregion Jersey and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 356-356 | geographicSubregion Luxembourg and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 359-359 | geographicSubregion Monaco and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 361-361 | geographicSubregion Netherlands and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 363-363 | geographicSubregion UnitedKingdom and WesternEurope |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 118-118 | WesternEurope se chama nome "Western Europe" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62775-62775 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62774-62774 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 62773-62773 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 349-357 |
|
|
|
|