CaribbeanDevelopmentBank
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2899-2899 | 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 2896-2896 | Caribbean development bank is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2901-2901 | Economic cooperation is an organizational objective of caribbean development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2900-2900 | 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 2898-2898 | "CDB" is an abbreviation of caribbean development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2897-2897 | 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 |