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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LaGabarraVenezuela
LaGabarraVenezuela(la gabarra venezuela)

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


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

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


(names "La Gabarra" LaGabarraVenezuela) CountriesAndRegions.kif 3098-3098 La gabarra venezuela has name "La Gabarra"
(termFormat ChineseLanguage LaGabarraVenezuela "la gabarra 委內瑞拉") domainEnglishFormat.kif 33103-33103
(termFormat ChineseTraditionalLanguage LaGabarraVenezuela "la gabarra 委內瑞拉") domainEnglishFormat.kif 33102-33102
(termFormat EnglishLanguage LaGabarraVenezuela "la gabarra venezuela") domainEnglishFormat.kif 33101-33101


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