Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  MoscowRussia
|
|
|
| appearance as argument number 1 |
|
|
| (instance MoscowRussia City) | CountriesAndRegions.kif 748-748 | Moscow russia is an instance of city |
| (capitalCity MoscowRussia Russia) | CountriesAndRegions.kif 749-749 | Russia is a capital city of moscow russia |
| (documentation MoscowRussia EnglishLanguage "The capital of Russia and the largest City of the country.") | CountriesAndRegions.kif 750-751 | Russia is a capital city of moscow russia |
| (externalImage MoscowRussia "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 84/ Moscow_In_Europe.png/ 190px_Moscow_In_Europe.png") | pictureList.kif 1413-1413 | Russia is a capital city of moscow russia |
| appearance as argument number 2 |
|
|
| (names "Moscow" MoscowRussia) | CountriesAndRegions.kif 3256-3256 | Moscow russia has name "Moscow" |
| (termFormat EnglishLanguage MoscowRussia "moscow russia") | domainEnglishFormat.kif 38615-38615 | Moscow russia has name "Moscow" |
| (termFormat ChineseTraditionalLanguage MoscowRussia "莫斯科俄羅斯") | domainEnglishFormat.kif 38616-38616 | Moscow russia has name "Moscow" |
| (termFormat ChineseLanguage MoscowRussia "莫斯科俄罗斯") | domainEnglishFormat.kif 38617-38617 | Moscow russia has name "Moscow" |
|
