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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternalChange

Sigma KEE - HamraWestBank
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 geographicSubregion HamraWestBank and WestBank
(instance HamraWestBank City) CountriesAndRegions.kif 1774-1774 HamraWestBank ist ein fall von City %n{nicht}

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


(names "Hamra" HamraWestBank) CountriesAndRegions.kif 2904-2904 names "Hamra" and HamraWestBank
(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 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