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 est une instance de secteur g�ographique |
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 s'appele nom "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 |