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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BeitSahurWestBank

appearance as argument number 1

(documentation BeitSahurWestBank EnglishLanguage "The City of BeitSahur in WestBank.") CountriesAndRegions.kif 1531-1531
(externalImage BeitSahurWestBank " en/ 3/ 3b/ Sahour.jpg") pictureList.kif 3425-3425
(externalImage BeitSahurWestBank " en/ 8/ 8c/ Beit_sahour.jpg") pictureList.kif 3305-3305
(geographicSubregion BeitSahurWestBank WestBank) CountriesAndRegions.kif 2629-2629
(instance BeitSahurWestBank City) CountriesAndRegions.kif 1530-1530

appearance as argument number 2

(names "Beit Sahur" BeitSahurWestBank) CountriesAndRegions.kif 2630-2630
(termFormat ChineseLanguage BeitSahurWestBank "拜特萨胡尔西岸") domainEnglishFormat.kif 10610-10610
(termFormat ChineseTraditionalLanguage BeitSahurWestBank "拜特薩胡爾西岸") domainEnglishFormat.kif 10609-10609
(termFormat EnglishLanguage BeitSahurWestBank "beit sahur west bank") domainEnglishFormat.kif 10608-10608

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