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 瓦伦西亚西班牙 是 西班牙 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2417-2417 瓦伦西亚西班牙 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3638-3638 瓦伦西亚西班牙 的名 是 "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