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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - BeitElWestBank

appearance as argument number 1

(documentation BeitElWestBank EnglishLanguage "The City of BeitEl in WestBank.") CountriesAndRegions.kif 1525-1525
(externalImage BeitElWestBank " 2/ 2d/ Beit_El_1.jpg") pictureList.kif 3304-3304
(externalImage BeitElWestBank " 7/ 77/ Israel-locator.PNG") pictureList.kif 3423-3423
(externalImage BeitElWestBank " e/ ec/ Bet_El.jpg") pictureList.kif 3424-3424
(geographicSubregion BeitElWestBank WestBank) CountriesAndRegions.kif 2624-2624
(instance BeitElWestBank City) CountriesAndRegions.kif 1524-1524

appearance as argument number 2

(names "Beit El" BeitElWestBank) CountriesAndRegions.kif 2625-2625
(termFormat ChineseLanguage BeitElWestBank "贝特埃尔西岸") domainEnglishFormat.kif 10592-10592
(termFormat ChineseTraditionalLanguage BeitElWestBank "貝特埃爾西岸") domainEnglishFormat.kif 10591-10591
(termFormat EnglishLanguage BeitElWestBank "beit el west bank") domainEnglishFormat.kif 10590-10590

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