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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BethlehemWestBank
more pictures...

appearance as argument number 1

(documentation BethlehemWestBank EnglishLanguage "The City of Bethlehem in WestBank.") CountriesAndRegions.kif 1547-1547
(externalImage BethlehemWestBank " commons/ 1/ 1d/ Bethlehem1894.png") pictureList.kif 3441-3441
(externalImage BethlehemWestBank " commons/ 5/ 5b/ Bethlehem-cathchurch.JPG") pictureList.kif 3310-3310
(externalImage BethlehemWestBank " commons/ a/ a9/ BethlehemRoad.jpg") pictureList.kif 3442-3442
(externalImage BethlehemWestBank " commons/ f/ f4/ BethlehemInsideCN.jpg") pictureList.kif 3444-3444
(externalImage BethlehemWestBank " en/ 6/ 6c/ BethlehemShuq.JPG") pictureList.kif 3443-3443
(geographicSubregion BethlehemWestBank WestBank) CountriesAndRegions.kif 2649-2649
(instance BethlehemWestBank City) CountriesAndRegions.kif 1546-1546

appearance as argument number 2

(names "Bethlehem" BethlehemWestBank) CountriesAndRegions.kif 2650-2650
(termFormat ChineseLanguage BethlehemWestBank "伯利恒西岸") domainEnglishFormat.kif 10892-10892
(termFormat ChineseTraditionalLanguage BethlehemWestBank "伯利恆西岸") domainEnglishFormat.kif 10891-10891
(termFormat EnglishLanguage BethlehemWestBank "bethlehem west bank") domainEnglishFormat.kif 10890-10890

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