|
|
  IslamicDevelopmentBank
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3623-3623 | The day 15 is a date established of islamic development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3620-3620 | Islamic development bank is an instance of organization of nations |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3624-3624 | Economic development is an organizational objective of islamic development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3625-3625 | Social development is an organizational objective of islamic development bank |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3622-3622 | "IDB" is an abbreviation of islamic development bank |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 3621-3621 | Islamic development bank is a conventional long name of "Islamic Development Bank" |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31141-31141 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31140-31140 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31139-31139 |
|
|
|