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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MarseillesFrance

 Sigma KEE - MarseillesFrance
MarseillesFrance(马赛法国)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2027-2027
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4176-4176
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4187-4187
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4182-4182
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4191-4191
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4175-4175
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4178-4178
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4177-4177
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4185-4185
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4183-4183
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4188-4188
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4181-4181
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4186-4186
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4180-4180
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4184-4184
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4179-4179
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4190-4190
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3988-3988
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3202-3202 马赛法国 是 法国 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2026-2026 马赛法国 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3203-3203 马赛法国 的名 是 "Marseilles"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36335-36335
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36334-36334
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36333-36333


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