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 50134-50134
(termFormat ChineseTraditionalLanguage RiyadhSaudiArabia "沙特阿拉伯,利雅得") domainEnglishFormat.kif 50133-50133
(termFormat EnglishLanguage RiyadhSaudiArabia "riyadh saudi arabia") domainEnglishFormat.kif 50132-50132


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