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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MangalsenAndSanpheBagarNepal

Sigma KEE - MangalsenAndSanpheBagarNepal
MangalsenAndSanpheBagarNepal

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


(geographicSubregion MangalsenAndSanpheBagarNepal Nepal) CountriesAndRegions.kif 3186-3186
(instance MangalsenAndSanpheBagarNepal GeographicArea) CountriesAndRegions.kif 3185-3185

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


(names "Mangalsen and Sanphe Bagar " MangalsenAndSanpheBagarNepal) CountriesAndRegions.kif 3187-3187
(termFormat ChineseLanguage MangalsenAndSanpheBagarNepal "mangalsen 和 sanphe 尼泊尔") domainEnglishFormat.kif 35969-35969
(termFormat ChineseTraditionalLanguage MangalsenAndSanpheBagarNepal "mangalsen 和 sanphe 尼泊爾") domainEnglishFormat.kif 35968-35968
(termFormat EnglishLanguage MangalsenAndSanpheBagarNepal "mangalsen and sanphe bagar nepal") domainEnglishFormat.kif 35967-35967


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