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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BeitHaninaWestBank

Sigma KEE - BeitHaninaWestBank
BeitHaninaWestBank

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


(documentation BeitHaninaWestBank EnglishLanguage "The City of BeitHanina in WestBank.") CountriesAndRegions.kif 1529-1529
(instance BeitHaninaWestBank City) CountriesAndRegions.kif 1528-1528

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


(termFormat ChineseLanguage BeitHaninaWestBank "拜特汉尼纳西岸") domainEnglishFormat.kif 10595-10595
(termFormat ChineseTraditionalLanguage BeitHaninaWestBank "拜特漢尼納西岸") domainEnglishFormat.kif 10594-10594
(termFormat EnglishLanguage BeitHaninaWestBank "beit hanina west bank") domainEnglishFormat.kif 10593-10593


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