GroupOf5(group of5) |
appearance as argument number 1 |
(dateEstablished GroupOf5 (DayFn 22 (MonthFn September (YearFn 1985)))) |
Government.kif 3248-3248 | The day 22 is a date established of group of5 |
(instance GroupOf5 OrganizationOfNations) | Government.kif 3245-3245 | Group of5 is an instance of organization of nations |
(organizationalObjective GroupOf5 EconomicCooperation) | Government.kif 3249-3249 | Economic cooperation is an organizational objective of group of5 |
appearance as argument number 2 |
(abbreviation "G-5" GroupOf5) | Government.kif 3247-3247 | "G-5" is an abbreviation of group of5 |
(conventionalLongName "Group of 5" GroupOf5) | Government.kif 3246-3246 | Group of5 is a conventional long name of "Group of 5" |
(termFormat ChineseLanguage GroupOf5 "5人组") | domainEnglishFormat.kif 26772-26772 | |
(termFormat ChineseTraditionalLanguage GroupOf5 "5人組") | domainEnglishFormat.kif 26771-26771 | |
(termFormat EnglishLanguage GroupOf5 "group of5") | domainEnglishFormat.kif 26770-26770 |