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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReusSpain

Sigma KEE - ReusSpain
ReusSpain(reus spain)

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2238-2238
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5465-5465
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5165-5165
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5466-5466
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3429-3429 Reus spain is a geographic subregion of spain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2237-2237 Reus spain is an instance of city

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3430-3430 Reus spain has name "Reus"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49870-49870
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49869-49869
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49868-49868


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