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 例 里昂法國 and City

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3157-3157 名 "Lyons" and 里昂法國
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