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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeitHaggaiWestBank
BeitHaggaiWestBank

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 geographicSubregion BeitHaggaiWestBank and WestBank
(instance BeitHaggaiWestBank City) CountriesAndRegions.kif 1526-1526 BeitHaggaiWestBank都市instance では %n

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


(names "Beit Haggai" BeitHaggaiWestBank) CountriesAndRegions.kif 2627-2627 BeitHaggaiWestBank は "Beit Haggai" の name を 持って %n{ない}
(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