more pictures...
| BerlinGermany(berlin germany)
more pictures... | | Berlin, German_capital |
| appearance as argument number 1 |
|
|
| (capitalCity BerlinGermany Germany) | CountriesAndRegions.kif 717-717 | Germany is a capital city of berlin germany |
| (documentation BerlinGermany EnglishLanguage "The capital of Germany and the largest City of the country.") | CountriesAndRegions.kif 718-719 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ 1/ 14/ Berlin_reichstag_CP.jpg") | pictureList.kif 3430-3430 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1f/ Brandenburger_Tor_Blaue_Stunde.jpg") | pictureList.kif 3433-3433 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ 2/ 24/ Berlinale2007.jpg") | pictureList.kif 3427-3427 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ 3/ 33/ Schloss_Charlottenburg_2005_282.JPG") | pictureList.kif 3431-3431 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ 3/ 36/ Berlin.png") | pictureList.kif 4547-4547 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6e/ Germany_CIA_map_extended.gif") | pictureList.kif 3437-3437 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ 7/ 74/ Reichtagskuppel_Berlin_aufdemdach_2004.jpg") | pictureList.kif 3432-3432 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ 7/ 79/ Berlin-alt-treptow_treptowers_20050922_441_corr.jpg") | pictureList.kif 3428-3428 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ a/ a5/ Berlin_in_Germany_and_EU.png") | pictureList.kif 3435-3435 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ b/ b6/ BerlinDistricts.svg") | pictureList.kif 3429-3429 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ d/ db/ Cityscapeberlin2006.JPG") | pictureList.kif 3307-3307 | Germany is a capital city of berlin germany |
| (externalImage BerlinGermany "http://upload.wikimedia.org/wikipedia/commons/ e/ ec/ Flag_of_Berlin.svg") | pictureList.kif 3436-3436 | Germany is a capital city of berlin germany |
| (geographicSubregion BerlinGermany Germany) | CountriesAndRegions.kif 2640-2640 | Berlin germany is a geographic subregion of germany |
| (instance BerlinGermany EuropeanCity) | CountriesAndRegions.kif 716-716 | Berlin germany is an instance of european city |
| appearance as argument number 2 |
|
|
| (names "Berlin" BerlinGermany) | CountriesAndRegions.kif 2641-2641 | Berlin germany has name "Berlin" |
| (termFormat ChineseLanguage BerlinGermany "柏林，德国") | domainEnglishFormat.kif 10825-10825 | Berlin germany has name "Berlin" |
| (termFormat ChineseTraditionalLanguage BerlinGermany "柏林，德國") | domainEnglishFormat.kif 10824-10824 | Berlin germany has name "Berlin" |
| (termFormat EnglishLanguage BerlinGermany "berlin germany") | domainEnglishFormat.kif 10823-10823 | Berlin germany has name "Berlin" |
|
|
|