Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GroupOf10(group of10) |
| appearance as argument number 1 |
|
| (instance GroupOf10 OrganizationOfNations) | Government.kif 3311-3311 | Group of10 is an instance of organization of nations |
| (dateEstablished GroupOf10 (MonthFn October (YearFn 1962))) |
Government.kif 3315-3315 | The month October is a date established of group of10 |
| (organizationalObjective GroupOf10 CoordinateCreditPolicy) | Government.kif 3316-3316 | Coordinate credit policy is an organizational objective of group of10 |
| (documentation GroupOf10 EnglishLanguage "The GroupOf10 (also known as the Paris Club) is a group of (now) 11 major creditor nations that manage the repayment of loans by debtor countries. The Group of 10 works closely with the InternationalMonetaryFund.") | Government.kif 3318-3321 | Coordinate credit policy is an organizational objective of group of10 |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Group of 10" GroupOf10) | Government.kif 3312-3312 | Group of10 is a conventional long name of "Group of 10" |
| (abbreviation "G-10" GroupOf10) | Government.kif 3313-3313 | "G-10" is an abbreviation of group of10 |
| (conventionalLongName "Paris Club" GroupOf10) | Government.kif 3314-3314 | Group of10 is a conventional long name of "Paris Club" |
| (termFormat EnglishLanguage GroupOf10 "group of10") | domainEnglishFormat.kif 26744-26744 | Group of10 is a conventional long name of "Paris Club" |
| (termFormat ChineseTraditionalLanguage GroupOf10 "10人小組") | domainEnglishFormat.kif 26745-26745 | Group of10 is a conventional long name of "Paris Club" |
| (termFormat ChineseLanguage GroupOf10 "10人小组") | domainEnglishFormat.kif 26746-26746 | Group of10 is a conventional long name of "Paris Club" |
|