Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
HilversumNetherlands(hilversum netherlands)
|
| appearance as argument number 1 |
|
| (instance HilversumNetherlands City) | CountriesAndRegions.kif 1800-1800 | Hilversum netherlands is an instance of city |
| (documentation HilversumNetherlands EnglishLanguage "The City of Hilversum in Netherlands.") | CountriesAndRegions.kif 1801-1801 | Hilversum netherlands is an instance of city |
| (geographicSubregion HilversumNetherlands Netherlands) | CountriesAndRegions.kif 2931-2931 | Hilversum netherlands is a geographic subregion of netherlands |
| (externalImage HilversumNetherlands "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1f/ Dutch_Municipality_Hilversum_2006.png") | pictureList.kif 3980-3980 | Hilversum netherlands is a geographic subregion of netherlands |
| (externalImage HilversumNetherlands "http://upload.wikimedia.org/wikipedia/ commons/ a/ af/ Raadhuis_Hilversum2.jpg") | pictureList.kif 4141-4141 | Hilversum netherlands is a geographic subregion of netherlands |
| appearance as argument number 2 |
|
|
| (names "Hilversum" HilversumNetherlands) | CountriesAndRegions.kif 2932-2932 | Hilversum netherlands has name "Hilversum" |
| (termFormat EnglishLanguage HilversumNetherlands "hilversum netherlands") | domainEnglishFormat.kif 28211-28211 | Hilversum netherlands has name "Hilversum" |
| (termFormat ChineseTraditionalLanguage HilversumNetherlands "希爾弗瑟姆荷蘭") | domainEnglishFormat.kif 28212-28212 | Hilversum netherlands has name "Hilversum" |
| (termFormat ChineseLanguage HilversumNetherlands "希尔弗瑟姆荷兰") | domainEnglishFormat.kif 28213-28213 | Hilversum netherlands has name "Hilversum" |
|