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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


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

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


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


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