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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RiyadhSaudiArabia
RiyadhSaudiArabia(riyadh saudi arabia)
Riyadh, capital_of_Saudi_Arabia

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


(documentation RiyadhSaudiArabia EnglishLanguage "The City of Riyadh in SaudiArabia.") CountriesAndRegions.kif 2246-2246
(externalImage RiyadhSaudiArabia "http://upload.wikimedia.org/wikipedia/ commons/ thumb/ 5/ 58/ Riyadh%2C_Saudi_Arabia_locator_map.png/ 250px-Riyadh%2C_Saudi_Arabia_locator_map.png") pictureList.kif 1419-1419
(geographicSubregion RiyadhSaudiArabia SaudiArabia) CountriesAndRegions.kif 3440-3440 Riyadh saudi arabia is a geographic subregion of saudi arabia
(instance RiyadhSaudiArabia City) CountriesAndRegions.kif 2245-2245 Riyadh saudi arabia is an instance of city

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


(names "Riyadh" RiyadhSaudiArabia) CountriesAndRegions.kif 3441-3441 Riyadh saudi arabia has name "Riyadh"
(termFormat ChineseLanguage RiyadhSaudiArabia "沙特阿拉伯,利雅得") domainEnglishFormat.kif 50167-50167 Riyadh saudi arabia has name "Riyadh"
(termFormat ChineseTraditionalLanguage RiyadhSaudiArabia "沙特阿拉伯,利雅得") domainEnglishFormat.kif 50166-50166 Riyadh saudi arabia has name "Riyadh"
(termFormat EnglishLanguage RiyadhSaudiArabia "riyadh saudi arabia") domainEnglishFormat.kif 50165-50165 Riyadh saudi arabia has name "Riyadh"


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