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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CapeVerde

Sigma KEE - CapeVerde
CapeVerde(佛得角)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3053-3053 佛得角埃斯庫多佛得角currency 類別
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 發展中國家佛得角economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 245-245 較未發達國家佛得角economy 類別
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 佛得角西非geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 198-198 佛得角 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3982-3982 "Cape Verde" and 佛得角
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" 在 ISO-3166-1-alpha-2 denotes 佛得角


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