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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ValenciaSpain

 Sigma KEE - ValenciaSpain
ValenciaSpain
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2418-2418
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4434-4434
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4430-4430
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4432-4432
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4842-4842
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4433-4433
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4429-4429
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4059-4059
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4431-4431
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4435-4435
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3637-3637 geographicSubregion ValenciaSpain and Spain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2417-2417 ValenciaSpain est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3638-3638 ValenciaSpain s'appele nom "Valencia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61178-61178
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61177-61177
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 61176-61176


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