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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VitoriaSpain
VitoriaSpain(vitoria spain)

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


(documentation VitoriaSpain EnglishLanguage "The City of Vitoria in Spain.") CountriesAndRegions.kif 2432-2432
(externalImage VitoriaSpain "http://upload.wikimedia.org/wikipedia/commons/ 3/ 30/ Vitoria_desde_berrosteguieta.jpg") pictureList.kif 5190-5190
(externalImage VitoriaSpain "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Vitoria_flag.png") pictureList.kif 5541-5541
(geographicSubregion VitoriaSpain Spain) CountriesAndRegions.kif 3651-3651 Vitoria spain is a geographic subregion of spain
(instance VitoriaSpain City) CountriesAndRegions.kif 2431-2431 Vitoria spain is an instance of city

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


(names "Vitoria" VitoriaSpain) CountriesAndRegions.kif 3652-3652 Vitoria spain has name "Vitoria"
(termFormat ChineseLanguage VitoriaSpain "维多利亚西班牙") domainEnglishFormat.kif 61819-61819 Vitoria spain has name "Vitoria"
(termFormat ChineseTraditionalLanguage VitoriaSpain "維多利亞西班牙") domainEnglishFormat.kif 61818-61818 Vitoria spain has name "Vitoria"
(termFormat EnglishLanguage VitoriaSpain "vitoria spain") domainEnglishFormat.kif 61817-61817 Vitoria spain has name "Vitoria"


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