|
|
  Germany
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 2896-2896 | currencyType Germany and EuroDollar |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1243-1243 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 542-542 | economyType Germany and AdvancedEconomy |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 156-156 | economyType Germany and DevelopedCountry |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 460-460 | |
| 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 280-280 | Germany est une instance de EuropeanNation |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3205-3205 | Germany est un membre de EuropeanMonetaryUnion |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 1242-1242 | Germany est une partie de Europe |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 717-717 | capitalCity BerlinGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2582-2582 | geographicSubregion BadVilbelGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2640-2640 | geographicSubregion BerlinGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2667-2667 | geographicSubregion BonnGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2736-2736 | geographicSubregion CologneGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2796-2796 | geographicSubregion DortmundGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2800-2800 | geographicSubregion DuesseldorfGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2847-2847 | geographicSubregion FrankfurtGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2899-2899 | geographicSubregion HamburgGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 2905-2905 | geographicSubregion HannoverGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3150-3150 | geographicSubregion LuebeckGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3260-3260 | geographicSubregion MunchenGladbachGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3264-3264 | geographicSubregion MunsterGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3333-3333 | geographicSubregion NuremburgGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 3358-3358 | geographicSubregion OssnabruckGermany and Germany |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 5107-5107 | headquartersOfOrganization SortimoCorp and Germany |
| No TPTP formula. May not be expressible in strict first order. | CountriesAndRegions.kif 4020-4020 | Germany s'appele nom "Germany" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25920-25920 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25919-25919 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25918-25918 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2685-2685 | codeMapping ISO-3166-1-alpha-2, "DE" and Germany |
|
|
|
