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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - LyonsFrance

appearance as argument number 1

(documentation LyonsFrance EnglishLanguage "The City of Lyons in France.") CountriesAndRegions.kif 1987-1987
(externalImage LyonsFrance " 2/ 2f/ France_jms.png") pictureList.kif 1165-1165
(geographicSubregion LyonsFrance France) CountriesAndRegions.kif 3157-3157
(instance LyonsFrance City) CountriesAndRegions.kif 1986-1986

appearance as argument number 2

(names "Lyons" LyonsFrance) CountriesAndRegions.kif 3158-3158
(termFormat ChineseLanguage LyonsFrance "里昂法国") domainEnglishFormat.kif 35377-35377
(termFormat ChineseTraditionalLanguage LyonsFrance "里昂法國") domainEnglishFormat.kif 35376-35376
(termFormat EnglishLanguage LyonsFrance "lyons france") domainEnglishFormat.kif 35375-35375

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