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
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1987-1987
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1164-1164
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3156-3156 geographicSubregion LyonsFrance and France
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1986-1986 LyonsFrance e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3157-3157 LyonsFrance se chama nome "Lyons"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35387-35387
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35386-35386
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35385-35385


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