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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LaVictoriaVenezuela
LaVictoriaVenezuela(拉维多利亚委内瑞拉)

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


(documentation LaVictoriaVenezuela EnglishLanguage "The City of LaVictoria in Venezuela.") CountriesAndRegions.kif 1945-1945
(geographicSubregion LaVictoriaVenezuela Venezuela) CountriesAndRegions.kif 3103-3103 拉维多利亚委内瑞拉委内瑞拉geographic 次要地区
(instance LaVictoriaVenezuela City) CountriesAndRegions.kif 1944-1944 拉维多利亚委内瑞拉城市instance

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


(names "La Victoria" LaVictoriaVenezuela) CountriesAndRegions.kif 3104-3104 拉维多利亚委内瑞拉 的名 是 "La Victoria"
(termFormat ChineseLanguage LaVictoriaVenezuela "拉维多利亚委内瑞拉") domainEnglishFormat.kif 33533-33533
(termFormat ChineseTraditionalLanguage LaVictoriaVenezuela "拉維多利亞委內瑞拉") domainEnglishFormat.kif 33532-33532
(termFormat EnglishLanguage LaVictoriaVenezuela "la victoria venezuela") domainEnglishFormat.kif 33531-33531


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