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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MangalsenAndSanpheBagarNepal
MangalsenAndSanpheBagarNepal(mangalsen and sanphe bagar nepal)

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


(geographicSubregion MangalsenAndSanpheBagarNepal Nepal) CountriesAndRegions.kif 3186-3186 Mangalsen and sanphe bagar nepal is a geographic subregion of nepal
(instance MangalsenAndSanpheBagarNepal GeographicArea) CountriesAndRegions.kif 3185-3185 Mangalsen and sanphe bagar nepal is an instance of geographic area

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


(names "Mangalsen and Sanphe Bagar " MangalsenAndSanpheBagarNepal) CountriesAndRegions.kif 3187-3187 Mangalsen and sanphe bagar nepal has name "Mangalsen and Sanphe Bagar "
(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