| 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 3410-3410 | |
| (externalImage BadVilbelGermany "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Wappen_Bad_Vilbel.png") | pictureList.kif 3409-3409 | |
| (externalImage BadVilbelGermany "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Badvilbel-altesrathaus.jpg") | pictureList.kif 3299-3299 | |
| (geographicSubregion BadVilbelGermany Germany) | CountriesAndRegions.kif 2583-2583 | 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 2584-2584 | Bad vilbel germany has name "Bad Vilbel" |
| (termFormat ChineseLanguage BadVilbelGermany "德国 bad vilbel") | domainEnglishFormat.kif 9551-9551 | |
| (termFormat ChineseTraditionalLanguage BadVilbelGermany "德國 bad vilbel") | domainEnglishFormat.kif 9550-9550 | |
| (termFormat EnglishLanguage BadVilbelGermany "bad vilbel germany") | domainEnglishFormat.kif 9549-9549 |
|
|
|