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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BakkaAlSharkiyaWestBank
BakkaAlSharkiyaWestBank

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
(instance BakkaAlSharkiyaWestBank City) CountriesAndRegions.kif 1492-1492

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


(names "Bakka al-Sharkiya" BakkaAlSharkiyaWestBank) CountriesAndRegions.kif 2593-2593
(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