NordicInvestmentBank(nordic investment bank) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3675-3675 | The day 4 is a date established of nordic investment bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3672-3672 | Nordic investment bank is an instance of organization of nations |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3676-3676 | Economic cooperation is an organizational objective of nordic investment bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3677-3677 | Economic development is an organizational objective of nordic investment bank |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3674-3674 | "NIB" is an abbreviation of nordic investment bank |
No TPTP formula. May not be expressible in strict first order. | Government.kif 3673-3673 | Nordic investment bank is a conventional long name of "Nordic Investment Bank" |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40917-40917 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40916-40916 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40915-40915 |