No TPTP formula. May not be expressible in strict first order. |
Government.kif 2941-2941 |
"BDEAC" is an abbreviation of central african states development bank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2940-2940 |
Central african states development bank is a conventional long name of "Central African States Development Bank" |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 2942-2942 |
Central african states development bank is a local long name of "Banque de Developpement des Etats de l'Afrique Centrale" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13788-13788 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13787-13787 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13786-13786 |
|