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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeizaSpain
LeizaSpain

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


(documentation LeizaSpain EnglishLanguage "The City of Leiza in Spain.") CountriesAndRegions.kif 1955-1955
(geographicSubregion LeizaSpain Spain) CountriesAndRegions.kif 3113-3113 geographicSubregion LeizaSpain and Spain
(instance LeizaSpain City) CountriesAndRegions.kif 1954-1954 LeizaSpain都市instance では %n

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


(names "Leiza" LeizaSpain) CountriesAndRegions.kif 3114-3114 LeizaSpain は "Leiza" の name を 持って %n{ない}
(termFormat ChineseLanguage LeizaSpain "雷扎西班牙") domainEnglishFormat.kif 33935-33935
(termFormat ChineseTraditionalLanguage LeizaSpain "雷扎西班牙") domainEnglishFormat.kif 33934-33934
(termFormat EnglishLanguage LeizaSpain "leiza spain") domainEnglishFormat.kif 33933-33933


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