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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(instance BeitHaggaiWestBank City) CountriesAndRegions.kif 1526-1526

appearance as argument number 2

(names "Beit Haggai" BeitHaggaiWestBank) CountriesAndRegions.kif 2627-2627
(termFormat ChineseLanguage BeitHaggaiWestBank "拜特哈吉西岸") domainEnglishFormat.kif 10598-10598
(termFormat ChineseTraditionalLanguage BeitHaggaiWestBank "拜特哈吉西岸") domainEnglishFormat.kif 10597-10597
(termFormat EnglishLanguage BeitHaggaiWestBank "beit haggai west bank") domainEnglishFormat.kif 10596-10596

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