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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BarcelonaSpain

 Sigma KEE - BarcelonaSpain
BarcelonaSpain(barcelona spain)
more pictures...		Barcelona

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 Barcelona spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1506-1506 Barcelona spain is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2607-2607 Barcelona spain has name "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