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 2630-2630 geographicSubregion BeitHaggaiWestBank and WestBank
(instance BeitHaggaiWestBank City) CountriesAndRegions.kif 1526-1526 BeitHaggaiWestBank est une instance de ville

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


(names "Beit Haggai" BeitHaggaiWestBank) CountriesAndRegions.kif 2631-2631 BeitHaggaiWestBank s'appele &ames$"nom" "Beit Haggai"
(termFormat ChineseLanguage BeitHaggaiWestBank "拜特哈吉西岸") domainEnglishFormat.kif 10596-10596 BeitHaggaiWestBank s'appele &ames$"nom" "Beit Haggai"
(termFormat ChineseTraditionalLanguage BeitHaggaiWestBank "拜特哈吉西岸") domainEnglishFormat.kif 10595-10595 BeitHaggaiWestBank s'appele &ames$"nom" "Beit Haggai"
(termFormat EnglishLanguage BeitHaggaiWestBank "beit haggai west bank") domainEnglishFormat.kif 10594-10594 BeitHaggaiWestBank s'appele &ames$"nom" "Beit Haggai"


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