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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - BeasainSpain

appearance as argument number 1

(documentation BeasainSpain EnglishLanguage "The City of Beasain in Spain.") CountriesAndRegions.kif 1521-1521
(externalImage BeasainSpain " f/ f8/ Provmap-guipuzcoa.png") pictureList.kif 5106-5106
(geographicSubregion BeasainSpain Spain) CountriesAndRegions.kif 2618-2618 Beasain西班牙西班牙geographic 次要地区
(instance BeasainSpain City) CountriesAndRegions.kif 1520-1520 Beasain西班牙城市instance

appearance as argument number 2

(names "Beasain" BeasainSpain) CountriesAndRegions.kif 2619-2619 Beasain西班牙 的名 是 "Beasain"
(termFormat ChineseLanguage BeasainSpain "beasain西班牙") domainEnglishFormat.kif 10292-10292
(termFormat ChineseTraditionalLanguage BeasainSpain "beasain西班牙") domainEnglishFormat.kif 10291-10291
(termFormat EnglishLanguage BeasainSpain "beasain spain") domainEnglishFormat.kif 10290-10290

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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