BadVilbelGermany(bad vilbel germany) |
appearance as argument number 1 |
(documentation BadVilbelGermany EnglishLanguage "The City of BadVilbel in Germany.") | CountriesAndRegions.kif 1483-1483 | |
(externalImage BadVilbelGermany "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4b/ Vilbeltrinkbrunnen.JPG") | pictureList.kif 3409-3409 | |
(externalImage BadVilbelGermany "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Wappen_Bad_Vilbel.png") | pictureList.kif 3408-3408 | |
(externalImage BadVilbelGermany "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Badvilbel-altesrathaus.jpg") | pictureList.kif 3298-3298 | |
(geographicSubregion BadVilbelGermany Germany) | CountriesAndRegions.kif 2582-2582 | Bad vilbel germany is a geographic subregion of germany |
(instance BadVilbelGermany City) | CountriesAndRegions.kif 1482-1482 | Bad vilbel germany is an instance of city |
appearance as argument number 2 |
(names "Bad Vilbel" BadVilbelGermany) | CountriesAndRegions.kif 2583-2583 | Bad vilbel germany has name "Bad Vilbel" |
(termFormat ChineseLanguage BadVilbelGermany "德国 bad vilbel") | domainEnglishFormat.kif 9534-9534 | |
(termFormat ChineseTraditionalLanguage BadVilbelGermany "德國 bad vilbel") | domainEnglishFormat.kif 9533-9533 | |
(termFormat EnglishLanguage BadVilbelGermany "bad vilbel germany") | domainEnglishFormat.kif 9532-9532 |