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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeitHaggaiWestBank
BeitHaggaiWestBank(beit haggai west bank)

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


(documentation BeitHaggaiWestBank EnglishLanguage "The City of BeitHaggai in WestBank.") CountriesAndRegions.kif 1527-1527
(geographicSubregion BeitHaggaiWestBank WestBank) CountriesAndRegions.kif 2626-2626 Beit haggai west bank is a geographic subregion of west bank
(instance BeitHaggaiWestBank City) CountriesAndRegions.kif 1526-1526 Beit haggai west bank is an instance of city

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


(names "Beit Haggai" BeitHaggaiWestBank) CountriesAndRegions.kif 2627-2627 Beit haggai west bank has name "Beit Haggai"
(termFormat ChineseLanguage BeitHaggaiWestBank "拜特哈吉西岸") domainEnglishFormat.kif 10589-10589
(termFormat ChineseTraditionalLanguage BeitHaggaiWestBank "拜特哈吉西岸") domainEnglishFormat.kif 10588-10588
(termFormat EnglishLanguage BeitHaggaiWestBank "beit haggai west bank") domainEnglishFormat.kif 10587-10587


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