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 聖何塞哥斯達黎加 and City

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


(names "San Jose" SanJoseCostaRica) CountriesAndRegions.kif 3479-3479 "San Jose" and 聖何塞哥斯達黎加
(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