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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HamraWestBank
HamraWestBank(hamra west bank)

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


(documentation HamraWestBank EnglishLanguage "The City of Hamra in WestBank.") CountriesAndRegions.kif 1775-1775
(geographicSubregion HamraWestBank WestBank) CountriesAndRegions.kif 2903-2903 Hamra west bank is a geographic subregion of west bank
(instance HamraWestBank City) CountriesAndRegions.kif 1774-1774 Hamra west bank is an instance of city

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


(names "Hamra" HamraWestBank) CountriesAndRegions.kif 2904-2904 Hamra west bank has name "Hamra"
(termFormat ChineseLanguage HamraWestBank "哈姆拉西岸") domainEnglishFormat.kif 27300-27300
(termFormat ChineseTraditionalLanguage HamraWestBank "哈姆拉西岸") domainEnglishFormat.kif 27299-27299
(termFormat EnglishLanguage HamraWestBank "hamra west bank") domainEnglishFormat.kif 27298-27298


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