No TPTP formula. May not be expressible in strict first order. |
Government.kif 3059-3059 |
"EADB" is an abbreviation of east african development bank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3058-3058 |
East african development bank is a conventional long name of "East African Development Bank" |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20826-20826 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20825-20825 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20824-20824 |
|