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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CaribbeanDevelopmentBank

Sigma KEE - CaribbeanDevelopmentBank
CaribbeanDevelopmentBank

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2899-2899 dateEstablished CaribbeanDevelopmentBank and le jour 18
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5900-5900
No TPTP formula. May not be expressible in strict first order. Government.kif 2896-2896 CaribbeanDevelopmentBank est une instance de OrganizationOfNations
No TPTP formula. May not be expressible in strict first order. Government.kif 2901-2901 organizationalObjective CaribbeanDevelopmentBank and EconomicCooperation
No TPTP formula. May not be expressible in strict first order. Government.kif 2900-2900 organizationalObjective CaribbeanDevelopmentBank and EconomicDevelopment

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


No TPTP formula. May not be expressible in strict first order. Government.kif 2898-2898 abbreviation "CDB" and CaribbeanDevelopmentBank
No TPTP formula. May not be expressible in strict first order. Government.kif 2897-2897 conventionalLongName "Caribbean Development Bank" and CaribbeanDevelopmentBank
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13260-13260
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13259-13259
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13258-13258


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