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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KarneiShomronWestBank
KarneiShomronWestBank

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


(documentation KarneiShomronWestBank EnglishLanguage "The City of KarneiShomron in WestBank.") CountriesAndRegions.kif 1877-1877
(geographicSubregion KarneiShomronWestBank WestBank) CountriesAndRegions.kif 3031-3031
(instance KarneiShomronWestBank City) CountriesAndRegions.kif 1876-1876

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


(names "Karnei Shomron" KarneiShomronWestBank) CountriesAndRegions.kif 3032-3032
(termFormat ChineseLanguage KarneiShomronWestBank "karnei shomron 西岸") domainEnglishFormat.kif 32191-32191
(termFormat ChineseTraditionalLanguage KarneiShomronWestBank "karnei shomron 西岸") domainEnglishFormat.kif 32190-32190
(termFormat EnglishLanguage KarneiShomronWestBank "karnei shomron west bank") domainEnglishFormat.kif 32189-32189


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