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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BarcelonaSpain

 Sigma KEE - BarcelonaSpain
BarcelonaSpain(西班牙巴塞罗那)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1507-1507
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4075-4075
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3970-3970
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4077-4077
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4087-4087
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4081-4081
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4532-4532
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4078-4078
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4085-4085
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4083-4083
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4082-4082
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4080-4080
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4079-4079
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2606-2606 西班牙巴塞罗那 是 西班牙 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1506-1506 西班牙巴塞罗那 是 城市 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2607-2607 西班牙巴塞罗那 的名 是 "Barcelona"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9900-9900
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9899-9899
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9898-9898


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