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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SanJoseCostaRica
SanJoseCostaRica(圣何塞哥斯达黎加)

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 圣何塞哥斯达黎加哥斯达黎加geographic 次要地区
(instance SanJoseCostaRica City) CountriesAndRegions.kif 2279-2279 圣何塞哥斯达黎加城市instance

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


(names "San Jose" SanJoseCostaRica) CountriesAndRegions.kif 3479-3479 圣何塞哥斯达黎加 的名 是 "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