| OssnabruckGermany(ossnabruck germany)
|
| appearance as argument number 1 |
|
| (documentation OssnabruckGermany EnglishLanguage "The City of Ossnabruck in Germany.") | CountriesAndRegions.kif 2170-2170 | |
| (externalImage OssnabruckGermany "http://upload.wikimedia.org/wikipedia/ commons/ b/ bd/ Osnabr%C3%BCck_Wappen.svg") | pictureList.kif 3363-3363 | |
| (externalImage OssnabruckGermany "http://upload.wikimedia.org/wikipedia/ commons/ c/ c0/ Stadttheater_OS.JPG") | pictureList.kif 3581-3581 | |
| (geographicSubregion OssnabruckGermany Germany) | CountriesAndRegions.kif 3356-3356 | Ossnabruck germany is a geographic subregion of germany |
| (instance OssnabruckGermany City) | CountriesAndRegions.kif 2169-2169 | Ossnabruck germany is an instance of city |
| appearance as argument number 2 |
|
|
| (names "Ossnabruck" OssnabruckGermany) | CountriesAndRegions.kif 3357-3357 | Ossnabruck germany has &ames$"name" "Ossnabruck" |
| (termFormat ChineseLanguage OssnabruckGermany "奥斯纳布鲁克德国") | domainEnglishFormat.kif 42674-42674 | Ossnabruck germany has &ames$"name" "Ossnabruck" |
| (termFormat ChineseTraditionalLanguage OssnabruckGermany "奧斯納布魯克德國") | domainEnglishFormat.kif 42673-42673 | Ossnabruck germany has &ames$"name" "Ossnabruck" |
| (termFormat EnglishLanguage OssnabruckGermany "ossnabruck germany") | domainEnglishFormat.kif 42672-42672 | Ossnabruck germany has &ames$"name" "Ossnabruck" |
|
|
|