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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MarseillesFrance
MarseillesFrance(marseilles france)
more pictures...		Marseille, Marseilles

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 Marseilles france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2026-2026 Marseilles france is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3203-3203 Marseilles france has name "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 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