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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArielWestBank
ArielWestBank

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


(documentation ArielWestBank EnglishLanguage "The City of Ariel in WestBank.") CountriesAndRegions.kif 1451-1451
(externalImage ArielWestBank "http://upload.wikimedia.org/wikipedia/commons/ d/ d6/ MaaleAdummim_red-roof.JPG") pictureList.kif 9907-9907
(geographicSubregion ArielWestBank WestBank) CountriesAndRegions.kif 2553-2553 geographicSubregion ArielWestBank and WestBank
(instance ArielWestBank City) CountriesAndRegions.kif 1450-1450 instance ArielWestBank and City

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


(names "Ariel" ArielWestBank) CountriesAndRegions.kif 2554-2554 names "Ariel" and ArielWestBank
(termFormat ChineseLanguage ArielWestBank "阿里尔西岸") domainEnglishFormat.kif 8365-8365
(termFormat ChineseTraditionalLanguage ArielWestBank "阿里爾西岸") domainEnglishFormat.kif 8364-8364
(termFormat EnglishLanguage ArielWestBank "ariel west bank") domainEnglishFormat.kif 8363-8363


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners