Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GroupOf5(group of5) |
| appearance as argument number 1 |
|
| (instance GroupOf5 OrganizationOfNations) | Government.kif 3273-3273 | Group of5 is an instance of organization of nations |
| (dateEstablished GroupOf5 (DayFn 22 (MonthFn September (YearFn 1985)))) |
Government.kif 3276-3276 | The day 22 of month the month September is a date established of group of5 |
| (organizationalObjective GroupOf5 EconomicCooperation) | Government.kif 3277-3277 | Economic cooperation is an organizational objective of group of5 |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Group of 5" GroupOf5) | Government.kif 3274-3274 | Group of5 is a conventional long name of "Group of 5" |
| (abbreviation "G-5" GroupOf5) | Government.kif 3275-3275 | "G-5" is an abbreviation of group of5 |
| (termFormat EnglishLanguage GroupOf5 "group of5") | domainEnglishFormat.kif 26774-26774 | "G-5" is an abbreviation of group of5 |
| (termFormat ChineseTraditionalLanguage GroupOf5 "5人組") | domainEnglishFormat.kif 26775-26775 | "G-5" is an abbreviation of group of5 |
| (termFormat ChineseLanguage GroupOf5 "5人组") | domainEnglishFormat.kif 26776-26776 | "G-5" is an abbreviation of group of5 |
|