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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HernaniSpain
HernaniSpain(hernani spain)

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 Hernani spain is a geographic subregion of spain
(instance HernaniSpain City) CountriesAndRegions.kif 1792-1792 Hernani spain is an instance of city

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


(names "Hernani" HernaniSpain) CountriesAndRegions.kif 2922-2922 Hernani spain has name "Hernani"
(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