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



KB Term:  Term intersection
English Word: 

Sigma KEE - LaGabarraVenezuela
LaGabarraVenezuela(la gabarra venezuela)

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


(instance LaGabarraVenezuela City) CountriesAndRegions.kif 1942-1942 La gabarra venezuela is an instance of city
(documentation LaGabarraVenezuela EnglishLanguage "The City of LaGabarra in Venezuela.") CountriesAndRegions.kif 1943-1943 La gabarra venezuela is an instance of city
(geographicSubregion LaGabarraVenezuela Venezuela) CountriesAndRegions.kif 3102-3102 La gabarra venezuela is a geographic subregion of venezuela

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


(names "La Gabarra" LaGabarraVenezuela) CountriesAndRegions.kif 3103-3103 La gabarra venezuela has name "La Gabarra"
(termFormat EnglishLanguage LaGabarraVenezuela "la gabarra venezuela") domainEnglishFormat.kif 33105-33105 La gabarra venezuela has name "La Gabarra"
(termFormat ChineseTraditionalLanguage LaGabarraVenezuela "la gabarra 委內瑞拉") domainEnglishFormat.kif 33106-33106 La gabarra venezuela has name "La Gabarra"
(termFormat ChineseLanguage LaGabarraVenezuela "la gabarra 委內瑞拉") domainEnglishFormat.kif 33107-33107 La gabarra venezuela has name "La Gabarra"


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