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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StrasbourgFrance

 Sigma KEE - StrasbourgFrance
StrasbourgFrance(strasbourg france)
more pictures...		Strasbourg, Strassburg

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2343-2343
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4337-4337
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4330-4330
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4339-4339
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4340-4340
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4336-4336
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4338-4338
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4335-4335
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4334-4334
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4029-4029
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4331-4331
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3549-3549 Strasbourg france is a geographic subregion of france
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2342-2342 Strasbourg france is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3550-3550 Strasbourg france has name "Strasbourg"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55562-55562
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55561-55561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55560-55560


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