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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HernaniSpain
HernaniSpain

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


(documentation HernaniSpain EnglishLanguage "The City of Hernani in Spain.") CountriesAndRegions.kif 1793-1793
(externalImage HernaniSpain "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Localizaci%C3%B3n_provincia_de_Guip%C3%BAzcoa.png") pictureList.kif 10049-10049
(geographicSubregion HernaniSpain Spain) CountriesAndRegions.kif 2921-2921
(instance HernaniSpain City) CountriesAndRegions.kif 1792-1792

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


(names "Hernani" HernaniSpain) CountriesAndRegions.kif 2922-2922
(termFormat ChineseLanguage HernaniSpain "hernani西班牙") domainEnglishFormat.kif 28017-28017
(termFormat ChineseTraditionalLanguage HernaniSpain "hernani西班牙") domainEnglishFormat.kif 28016-28016
(termFormat EnglishLanguage HernaniSpain "hernani spain") domainEnglishFormat.kif 28015-28015


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