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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BeasainSpain
BeasainSpain(beasain spain)

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


(documentation BeasainSpain EnglishLanguage "The City of Beasain in Spain.") CountriesAndRegions.kif 1521-1521
(externalImage BeasainSpain "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Provmap-guipuzcoa.png") pictureList.kif 5106-5106
(geographicSubregion BeasainSpain Spain) CountriesAndRegions.kif 2618-2618 Beasain spain is a geographic subregion of spain
(instance BeasainSpain City) CountriesAndRegions.kif 1520-1520 Beasain spain is an instance of city

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


(names "Beasain" BeasainSpain) CountriesAndRegions.kif 2619-2619 Beasain spain has name "Beasain"
(termFormat ChineseLanguage BeasainSpain "beasain西班牙") domainEnglishFormat.kif 10300-10300 Beasain spain has name "Beasain"
(termFormat ChineseTraditionalLanguage BeasainSpain "beasain西班牙") domainEnglishFormat.kif 10299-10299 Beasain spain has name "Beasain"
(termFormat EnglishLanguage BeasainSpain "beasain spain") domainEnglishFormat.kif 10298-10298 Beasain spain has name "Beasain"


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