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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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