No TPTP formula. May not be expressible in strict first order. |
Government.kif 3059-3059 |
abbreviation "EADB" and EastAfricanDevelopmentBank |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 3058-3058 |
conventionalLongName "East African Development Bank" and EastAfricanDevelopmentBank |
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 |
|