| CaribbeanDevelopmentBank(caribbean development bank)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2935-2935 | The day 18 is a date established of caribbean development bank |
| 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 2932-2932 | Caribbean development bank is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2937-2937 | Economic cooperation is an organizational objective of caribbean development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2936-2936 | Economic development is an organizational objective of caribbean development bank |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2934-2934 | "CDB" is an abbreviation of caribbean development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2933-2933 | Caribbean development bank is a conventional long name of "Caribbean Development Bank" |
| 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 |
|
|
|