| 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 3408-3408 | |
| (externalImage BadVilbelGermany "http://upload.wikimedia.org/wikipedia/commons/ b/ bf/ Wappen_Bad_Vilbel.png") | pictureList.kif 3407-3407 | |
| (externalImage BadVilbelGermany "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Badvilbel_altesrathaus.jpg") | pictureList.kif 3297-3297 | |
| (geographicSubregion BadVilbelGermany Germany) | CountriesAndRegions.kif 2586-2586 | 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 2587-2587 | Bad vilbel germany has &ames$"name" "Bad Vilbel" |
| (termFormat ChineseLanguage BadVilbelGermany "德国 bad vilbel") | domainEnglishFormat.kif 9535-9535 | Bad vilbel germany has &ames$"name" "Bad Vilbel" |
| (termFormat ChineseTraditionalLanguage BadVilbelGermany "德國 bad vilbel") | domainEnglishFormat.kif 9534-9534 | Bad vilbel germany has &ames$"name" "Bad Vilbel" |
| (termFormat EnglishLanguage BadVilbelGermany "bad vilbel germany") | domainEnglishFormat.kif 9533-9533 | Bad vilbel germany has &ames$"name" "Bad Vilbel" |
|
|
|