| Germany(germany)
| | Deutschland, FRG, Federal_Republic_of_Germany, German, Germany, germany |
| appearance as argument number 1 |
|
|
| (currencyType Germany EuroDollar) | Economy.kif 2899-2899 | Euro dollar is a currency type of germany |
| (documentation Germany EnglishLanguage "A large EuropeanNation.") | CountriesAndRegions.kif 1243-1243 | |
| (economyType Germany AdvancedEconomy) | Economy.kif 537-537 | Advanced economy is an economy type of germany |
| (economyType Germany DevelopedCountry) | Economy.kif 156-156 | Developed country is an economy type of germany |
| (externalImage Germany "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ geography/ Country_Maps/ G/ Germany.png") | pictureList.kif 460-460 | "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ Country_Maps/ G/ Germany.png" is a URL depicting germany |
| (geographicSubregion Germany CentralEurope) | CountriesAndRegions.kif 279-279 | Germany is a geographic subregion of central europe |
| (instance Germany EuropeanNation) | CountriesAndRegions.kif 280-280 | Germany is an instance of european nation |
| (member Germany EuropeanMonetaryUnion) | Government.kif 3142-3142 | Germany is a member of european monetary union |
| (part Germany Europe) | CountriesAndRegions.kif 1242-1242 | Germany is a part of europe |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (codeMapping ISO-3166-1-alpha-2 "DE" Germany) | Media.kif 2655-2655 | "DE" in ISO-3166-1-alpha-2 denotes germany |
|
|
|