EastAfricanDevelopmentBank(east african development bank) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3024-3024 | The day 6 is a date established of east african development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3021-3021 | East african development bank is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3025-3025 | Economic development is an organizational objective of east african development bank |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3023-3023 | "EADB" is an abbreviation of east african development bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3022-3022 | 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 |