![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
VladikavkazRussia
|
|
|
| appearance as argument number 1 |
|
|
| (instance VladikavkazRussia City) | CountriesAndRegions.kif 2441-2441 | Vladikavkaz russia is an instance of city |
| (documentation VladikavkazRussia EnglishLanguage "The City of Vladikavkaz in Russia.") | CountriesAndRegions.kif 2442-2442 | Vladikavkaz russia is an instance of city |
| (geographicSubregion VladikavkazRussia Russia) | CountriesAndRegions.kif 3657-3657 | Vladikavkaz russia is a geographic subregion of russia |
| (externalImage VladikavkazRussia "http://upload.wikimedia.org/wikipedia/ commons/ e/ ea/ View_of_Vladikavkaz.jpg") | pictureList.kif 5191-5191 | Vladikavkaz russia is a geographic subregion of russia |
| (externalImage VladikavkazRussia "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 73/ Coat_of_arms_of_Vladikavkaz.gif") | pictureList.kif 5543-5543 | Vladikavkaz russia is a geographic subregion of russia |
| appearance as argument number 2 |
|
|
| (names "Vladikavkaz" VladikavkazRussia) | CountriesAndRegions.kif 3658-3658 | Vladikavkaz russia has name "Vladikavkaz" |
| (termFormat EnglishLanguage VladikavkazRussia "vladikavkaz russia") | domainEnglishFormat.kif 61827-61827 | Vladikavkaz russia has name "Vladikavkaz" |
| (termFormat ChineseTraditionalLanguage VladikavkazRussia "vladikavkaz俄羅斯") | domainEnglishFormat.kif 61828-61828 | Vladikavkaz russia has name "Vladikavkaz" |
| (termFormat ChineseLanguage VladikavkazRussia "vladikavkaz俄罗斯") | domainEnglishFormat.kif 61829-61829 | Vladikavkaz russia has name "Vladikavkaz" |