| HilversumNetherlands(hilversum netherlands)
|
| appearance as argument number 1 |
|
| (documentation HilversumNetherlands EnglishLanguage "The City of Hilversum in Netherlands.") | CountriesAndRegions.kif 1797-1797 | |
| (externalImage HilversumNetherlands "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Dutch_Municipality_Hilversum_2006.png") | pictureList.kif 3980-3980 | |
| (externalImage HilversumNetherlands "http://upload.wikimedia.org/wikipedia/ commons/ a/ af/ Raadhuis_Hilversum2.jpg") | pictureList.kif 4141-4141 | |
| (geographicSubregion HilversumNetherlands Netherlands) | CountriesAndRegions.kif 2925-2925 | Hilversum netherlands is a geographic subregion of netherlands |
| (instance HilversumNetherlands City) | CountriesAndRegions.kif 1796-1796 | Hilversum netherlands is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Hilversum" HilversumNetherlands) | CountriesAndRegions.kif 2926-2926 | Hilversum netherlands has name "Hilversum" |
| (termFormat ChineseLanguage HilversumNetherlands "希尔弗瑟姆荷兰") | domainEnglishFormat.kif 28237-28237 | Hilversum netherlands has name "Hilversum" |
| (termFormat ChineseTraditionalLanguage HilversumNetherlands "希爾弗瑟姆荷蘭") | domainEnglishFormat.kif 28236-28236 | Hilversum netherlands has name "Hilversum" |
| (termFormat EnglishLanguage HilversumNetherlands "hilversum netherlands") | domainEnglishFormat.kif 28235-28235 | Hilversum netherlands has name "Hilversum" |
|
|
|