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


KB Term:  Term intersection
English Word: 

Sigma KEE - LaVictoriaVenezuela
LaVictoriaVenezuela(la victoria venezuela)

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


(instance LaVictoriaVenezuela City) CountriesAndRegions.kif 1948-1948 La victoria venezuela is an instance of city
(documentation LaVictoriaVenezuela EnglishLanguage "The City of LaVictoria in Venezuela.") CountriesAndRegions.kif 1949-1949 La victoria venezuela is an instance of city
(geographicSubregion LaVictoriaVenezuela Venezuela) CountriesAndRegions.kif 3108-3108 La victoria venezuela is a geographic subregion of venezuela

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


(names "La Victoria" LaVictoriaVenezuela) CountriesAndRegions.kif 3109-3109 La victoria venezuela has name "La Victoria"
(termFormat EnglishLanguage LaVictoriaVenezuela "la victoria venezuela") domainEnglishFormat.kif 33535-33535 La victoria venezuela has name "La Victoria"
(termFormat ChineseTraditionalLanguage LaVictoriaVenezuela "拉維多利亞委內瑞拉") domainEnglishFormat.kif 33536-33536 La victoria venezuela has name "La Victoria"
(termFormat ChineseLanguage LaVictoriaVenezuela "拉维多利亚委内瑞拉") domainEnglishFormat.kif 33537-33537 La victoria venezuela has name "La Victoria"


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners