|
|
  NorthernEurope
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2496-2496 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 215-215 | geographicSubregion NorthernEurope and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 158-158 | geographicSubregion NorthernEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 216-216 | geographicSubregion NorthernEurope and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 86-86 | NorthernEurope e' uma instancia de Area Geografica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 315-315 | geographicSubregion Denmark and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 317-317 | geographicSubregion FaroeIslands and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 318-318 | geographicSubregion Finland and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 320-320 | geographicSubregion Iceland and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 322-322 | geographicSubregion JanMayenIsland and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 323-323 | geographicSubregion Norway and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 325-325 | geographicSubregion Svalbard and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 326-326 | geographicSubregion Sweden and NorthernEurope |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 116-116 | NorthernEurope se chama nome "Northern Europe" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41079-41079 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41078-41078 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 41077-41077 |
|
|
|
