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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SanJoseCostaRica
SanJoseCostaRica(san jose costa rica)
San_Jose, capital_of_Costa_Rica

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


(documentation SanJoseCostaRica EnglishLanguage "The City of SanJose in CostaRica.") CountriesAndRegions.kif 2280-2280
(externalImage SanJoseCostaRica "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 6/ 62/ CantonSJO.jpg/ 200px-CantonSJO.jpg") pictureList.kif 1355-1355
(geographicSubregion SanJoseCostaRica CostaRica) CountriesAndRegions.kif 3478-3478 San jose costa rica is a geographic subregion of costa rica
(instance SanJoseCostaRica City) CountriesAndRegions.kif 2279-2279 San jose costa rica is an instance of city

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


(names "San Jose" SanJoseCostaRica) CountriesAndRegions.kif 3479-3479 San jose costa rica has name "San Jose"
(termFormat ChineseLanguage SanJoseCostaRica "圣何塞哥斯达黎加") domainEnglishFormat.kif 51135-51135
(termFormat ChineseTraditionalLanguage SanJoseCostaRica "聖何塞哥斯達黎加") domainEnglishFormat.kif 51134-51134
(termFormat EnglishLanguage SanJoseCostaRica "san jose costa rica") domainEnglishFormat.kif 51133-51133


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