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

Formal Language: 



KB Term:  Term intersection
English Word: 

  LyonsFrance

 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 里昂法国 是 法国 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1986-1986 里昂法国 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3157-3157 里昂法国 的名 是 "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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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