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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CapeVerde
CapeVerde(cape verde)
Cape_Verde, Republic_of_Cape_Verde

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3053-3053 Cape verde escudo is a currency type of cape verde
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1207-1207
No TPTP formula. May not be expressible in strict first order. Economy.kif 629-629 Developing country is an economy type of cape verde
No TPTP formula. May not be expressible in strict first order. Economy.kif 245-245 Less developed country is an economy type of cape verde
No TPTP formula. May not be expressible in strict first order. pictureList.kif 321-321
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 197-197 Cape verde is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 198-198 Cape verde is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3982-3982 Cape verde has name "Cape Verde"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13062-13062
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13061-13061
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13060-13060

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2681-2681 "CV" in ISO-3166-1-alpha-2 denotes cape verde


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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