Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| NordicInvestmentBank(nordic investment bank) |
| appearance as argument number 1 |
|
| (instance NordicInvestmentBank OrganizationOfNations) | Government.kif 3664-3664 | Nordic investment bank is an instance of organization of nations |
| (dateEstablished NordicInvestmentBank (DayFn 4 (MonthFn December (YearFn 1975)))) |
Government.kif 3667-3667 | The day 4 of month the month December is a date established of nordic investment bank |
| (organizationalObjective NordicInvestmentBank EconomicCooperation) | Government.kif 3668-3668 | Economic cooperation is an organizational objective of nordic investment bank |
| (organizationalObjective NordicInvestmentBank EconomicDevelopment) | Government.kif 3669-3669 | Economic development is an organizational objective of nordic investment bank |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Nordic Investment Bank" NordicInvestmentBank) | Government.kif 3665-3665 | Nordic investment bank is a conventional long name of "Nordic Investment Bank" |
| (abbreviation "NIB" NordicInvestmentBank) | Government.kif 3666-3666 | "NIB" is an abbreviation of nordic investment bank |
| (termFormat EnglishLanguage NordicInvestmentBank "nordic investment bank") | domainEnglishFormat.kif 40921-40921 | "NIB" is an abbreviation of nordic investment bank |
| (termFormat ChineseTraditionalLanguage NordicInvestmentBank "北歐投資銀行") | domainEnglishFormat.kif 40922-40922 | "NIB" is an abbreviation of nordic investment bank |
| (termFormat ChineseLanguage NordicInvestmentBank "北欧投资银行") | domainEnglishFormat.kif 40923-40923 | "NIB" is an abbreviation of nordic investment bank |
|