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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Cuba

Sigma KEE - Cuba
Cuba(cuba)
Cuba, Republic_of_Cuba

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3089-3089 Cuban peso is a currency type of cuba
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1220-1220
No TPTP formula. May not be expressible in strict first order. pictureList.kif 376-376
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 437-437 Cuba is a geographic subregion of caribbean region
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 439-439 Cuba is an instance of island
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 438-438 Cuba is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2746-2746 Copaca bana cuba is a geographic subregion of cuba
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2911-2911 Havana cuba is a geographic subregion of cuba
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4093-4093 Cuba has name "Cuba"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17970-17970
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17969-17969
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 17968-17968

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2682-2682 "CU" in ISO-3166-1-alpha-2 denotes cuba


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