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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeitElWestBank
BeitElWestBank(beit el west bank)

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


(documentation BeitElWestBank EnglishLanguage "The City of BeitEl in WestBank.") CountriesAndRegions.kif 1525-1525
(externalImage BeitElWestBank "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2d/ Beit_El_1.jpg") pictureList.kif 3303-3303
(externalImage BeitElWestBank "http://upload.wikimedia.org/wikipedia/commons/ 7/ 77/ Israel-locator.PNG") pictureList.kif 3422-3422
(externalImage BeitElWestBank "http://upload.wikimedia.org/wikipedia/en/ e/ ec/ Bet_El.jpg") pictureList.kif 3423-3423
(geographicSubregion BeitElWestBank WestBank) CountriesAndRegions.kif 2624-2624 Beit el west bank is a geographic subregion of west bank
(instance BeitElWestBank City) CountriesAndRegions.kif 1524-1524 Beit el west bank is an instance of city

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


(names "Beit El" BeitElWestBank) CountriesAndRegions.kif 2625-2625 Beit el west bank has name "Beit El"
(termFormat ChineseLanguage BeitElWestBank "贝特埃尔西岸") domainEnglishFormat.kif 10583-10583
(termFormat ChineseTraditionalLanguage BeitElWestBank "貝特埃爾西岸") domainEnglishFormat.kif 10582-10582
(termFormat EnglishLanguage BeitElWestBank "beit el west bank") domainEnglishFormat.kif 10581-10581


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