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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ReusSpain

 Sigma KEE - ReusSpain
ReusSpain

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 geographicSubregion ReusSpain and Spain
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2237-2237 ReusSpain est une instance de ville

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3430-3430 ReusSpain s'appele nom "Reus"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49868-49868
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49867-49867
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 49866-49866


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