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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StrasbourgFrance

 Sigma KEE - StrasbourgFrance
StrasbourgFrance
more pictures...

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 geographicSubregion StrasbourgFrance and France
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2342-2342 StrasbourgFrance e' uma instancia de Cidade

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3550-3550 StrasbourgFrance se chama nome "Strasbourg"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55560-55560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55559-55559
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55558-55558


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