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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - LyonsFrance
LyonsFrance

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


(documentation LyonsFrance EnglishLanguage "The City of Lyons in France.") CountriesAndRegions.kif 1987-1987
(externalImage LyonsFrance "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2f/ France_jms.png") pictureList.kif 1164-1164
(geographicSubregion LyonsFrance France) CountriesAndRegions.kif 3156-3156 geographicSubregion LyonsFrance and France
(instance LyonsFrance City) CountriesAndRegions.kif 1986-1986 LyonsFrance est une instance de ville

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


(names "Lyons" LyonsFrance) CountriesAndRegions.kif 3157-3157 LyonsFrance s'appele &ames$"nom" "Lyons"
(termFormat ChineseLanguage LyonsFrance "里昂法国") domainEnglishFormat.kif 35398-35398 LyonsFrance s'appele &ames$"nom" "Lyons"
(termFormat ChineseTraditionalLanguage LyonsFrance "里昂法國") domainEnglishFormat.kif 35397-35397 LyonsFrance s'appele &ames$"nom" "Lyons"
(termFormat EnglishLanguage LyonsFrance "lyons france") domainEnglishFormat.kif 35396-35396 LyonsFrance s'appele &ames$"nom" "Lyons"


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