Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

  UrsMartanRussia

Sigma KEE - UrsMartanRussia
UrsMartanRussia(urs martan russia)

appearance as argument number 1
-------------------------


s__documentation(s__UrsMartanRussia, s__EnglishLanguage, "The City of UrsMartan in Russia_") CountriesAndRegions.kif 2422-2422
s__geographicSubregion(s__UrsMartanRussia, s__Russia) CountriesAndRegions.kif 3634-3634 Urs martan russia is a geographic subregion of russia
s__instance(s__UrsMartanRussia, s__City) CountriesAndRegions.kif 2421-2421 Urs martan russia is an instance of city

appearance as argument number 2
-------------------------


s__names("Urs_Martan", s__UrsMartanRussia) CountriesAndRegions.kif 3635-3635 Urs martan russia has &ames$"name" "Urs_Martan"
s__termFormat(s__ChineseLanguage, s__UrsMartanRussia, "urs martan 俄国") domainEnglishFormat.kif 60739-60739 Urs martan russia has &ames$"name" "Urs_Martan"
s__termFormat(s__ChineseTraditionalLanguage, s__UrsMartanRussia, "urs martan 俄國") domainEnglishFormat.kif 60738-60738 Urs martan russia has &ames$"name" "Urs_Martan"
s__termFormat(s__EnglishLanguage, s__UrsMartanRussia, "urs martan russia") domainEnglishFormat.kif 60737-60737 Urs martan russia has &ames$"name" "Urs_Martan"


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners