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