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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ZumaiaSpain
ZumaiaSpain(zumaia spain)

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


(documentation ZumaiaSpain EnglishLanguage "The City of Zumaia in Spain.") CountriesAndRegions.kif 2485-2485
(externalImage ZumaiaSpain "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Iglesia_San_Telmo.jpg") pictureList.kif 5200-5200
(externalImage ZumaiaSpain "http://upload.wikimedia.org/wikipedia/commons/ 2/ 28/ Lighthouse_zumaia.jpg") pictureList.kif 5590-5590
(externalImage ZumaiaSpain "http://upload.wikimedia.org/wikipedia/commons/ 9/ 97/ Itzurun.jpg") pictureList.kif 5591-5591
(geographicSubregion ZumaiaSpain Spain) CountriesAndRegions.kif 3709-3709 Zumaia spain is a geographic subregion of spain
(instance ZumaiaSpain City) CountriesAndRegions.kif 2484-2484 Zumaia spain is an instance of city

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


(names "Zumaia" ZumaiaSpain) CountriesAndRegions.kif 3710-3710 Zumaia spain has name "Zumaia"
(termFormat ChineseLanguage ZumaiaSpain "zumaia西班牙") domainEnglishFormat.kif 64290-64290 Zumaia spain has name "Zumaia"
(termFormat ChineseTraditionalLanguage ZumaiaSpain "zumaia西班牙") domainEnglishFormat.kif 64289-64289 Zumaia spain has name "Zumaia"
(termFormat EnglishLanguage ZumaiaSpain "zumaia spain") domainEnglishFormat.kif 64288-64288 Zumaia spain has name "Zumaia"


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