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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LasarteSpain
LasarteSpain

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


(documentation LasarteSpain EnglishLanguage "The City of Lasarte in Spain.") CountriesAndRegions.kif 1953-1953
(geographicSubregion LasarteSpain Spain) CountriesAndRegions.kif 3111-3111
(instance LasarteSpain City) CountriesAndRegions.kif 1952-1952

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


(names "Lasarte" LasarteSpain) CountriesAndRegions.kif 3112-3112
(termFormat ChineseLanguage LasarteSpain "lasarte西班牙") domainEnglishFormat.kif 33397-33397
(termFormat ChineseTraditionalLanguage LasarteSpain "lasarte西班牙") domainEnglishFormat.kif 33396-33396
(termFormat EnglishLanguage LasarteSpain "lasarte spain") domainEnglishFormat.kif 33395-33395


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