GroupOf11(group of11) |
appearance as argument number 1 |
(dateEstablished GroupOf11 (DayFn 22 (MonthFn June (YearFn 1984)))) |
Government.kif 3299-3299 | The day 22 is a date established of group of11 |
(instance GroupOf11 OrganizationOfNations) | Government.kif 3295-3295 | Group of11 is an instance of organization of nations |
(organizationalObjective GroupOf11 EconomicCooperation) | Government.kif 3300-3300 | Economic cooperation is an organizational objective of group of11 |
appearance as argument number 2 |
(abbreviation "G-11" GroupOf11) | Government.kif 3298-3298 | "G-11" is an abbreviation of group of11 |
(conventionalLongName "Cartagena Group" GroupOf11) | Government.kif 3297-3297 | Group of11 is a conventional long name of "Cartagena Group" |
(conventionalLongName "Group of 11" GroupOf11) | Government.kif 3296-3296 | Group of11 is a conventional long name of "Group of 11" |
(termFormat ChineseLanguage GroupOf11 "11人小组") | domainEnglishFormat.kif 26748-26748 | |
(termFormat ChineseTraditionalLanguage GroupOf11 "11人小組") | domainEnglishFormat.kif 26747-26747 | |
(termFormat EnglishLanguage GroupOf11 "group of11") | domainEnglishFormat.kif 26746-26746 |