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


KB Term:  Term intersection
English Word: 

Sigma KEE - BakkaAlSharkiyaWestBank
BakkaAlSharkiyaWestBank(bakka al sharkiya west bank)

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


(instance BakkaAlSharkiyaWestBank City) CountriesAndRegions.kif 1496-1496 Bakka al sharkiya west bank is an instance of city
(documentation BakkaAlSharkiyaWestBank EnglishLanguage "The City of BakkaAlSharkiya in WestBank.") CountriesAndRegions.kif 1497-1497 Bakka al sharkiya west bank is an instance of city
(geographicSubregion BakkaAlSharkiyaWestBank WestBank) CountriesAndRegions.kif 2601-2601 Bakka al sharkiya west bank is a geographic subregion of west bank

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


(names "Bakka al_Sharkiya" BakkaAlSharkiyaWestBank) CountriesAndRegions.kif 2602-2602 Bakka al sharkiya west bank has name "Bakka al_Sharkiya"
(termFormat EnglishLanguage BakkaAlSharkiyaWestBank "bakka al sharkiya west bank") domainEnglishFormat.kif 9646-9646 Bakka al sharkiya west bank has name "Bakka al_Sharkiya"
(termFormat ChineseTraditionalLanguage BakkaAlSharkiyaWestBank "bakka al 沙爾基亞西岸") domainEnglishFormat.kif 9647-9647 Bakka al sharkiya west bank has name "Bakka al_Sharkiya"
(termFormat ChineseLanguage BakkaAlSharkiyaWestBank "bakka al 沙尔基亚西岸") domainEnglishFormat.kif 9648-9648 Bakka al sharkiya west bank has name "Bakka al_Sharkiya"


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners