|
|
  CentralEurope
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2442-2442 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 212-212 | geographicSubregion CentralEurope and EasternHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 156-156 | geographicSubregion CentralEurope and Europe |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 213-213 | geographicSubregion CentralEurope and NorthernHemisphere |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 84-84 | CentralEurope e' uma instancia de Area Geografica |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 275-275 | geographicSubregion Austria and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 277-277 | geographicSubregion CzechRepublic and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 279-279 | geographicSubregion Germany and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 281-281 | geographicSubregion Hungary and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 283-283 | geographicSubregion Liechtenstein and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 285-285 | geographicSubregion Poland and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 287-287 | geographicSubregion Slovakia and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 289-289 | geographicSubregion Slovenia and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 291-291 | geographicSubregion Switzerland and CentralEurope |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 114-114 | CentralEurope se chama nome "Central Europe" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13848-13848 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13847-13847 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13846-13846 |
|
|
|
