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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - HamraWestBank

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
(instance HamraWestBank City) CountriesAndRegions.kif 1774-1774

appearance as argument number 2

(names "Hamra" HamraWestBank) CountriesAndRegions.kif 2904-2904
(termFormat ChineseLanguage HamraWestBank "哈姆拉西岸") domainEnglishFormat.kif 27291-27291
(termFormat ChineseTraditionalLanguage HamraWestBank "哈姆拉西岸") domainEnglishFormat.kif 27290-27290
(termFormat EnglishLanguage HamraWestBank "hamra west bank") domainEnglishFormat.kif 27289-27289

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