Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GroupOf15(group of15) |
| appearance as argument number 1 |
|
| (instance GroupOf15 OrganizationOfNations) | Government.kif 3330-3330 | Group of15 is an instance of organization of nations |
| (dateEstablished GroupOf15 (MonthFn September (YearFn 1989))) |
Government.kif 3333-3333 | The month September is a date established of group of15 |
| (organizationalObjective GroupOf15 EconomicCooperation) | Government.kif 3334-3334 | Economic cooperation is an organizational objective of group of15 |
| (organizationalObjective GroupOf15 PoliticalCooperation) | Government.kif 3335-3335 | Political cooperation is an organizational objective of group of15 |
| (documentation GroupOf15 EnglishLanguage "The GroupOf15 was a result of the NonalignedMovement.") | Government.kif 3337-3338 | Political cooperation is an organizational objective of group of15 |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Group of 15" GroupOf15) | Government.kif 3331-3331 | Group of15 is a conventional long name of "Group of 15" |
| (abbreviation "G-15" GroupOf15) | Government.kif 3332-3332 | "G-15" is an abbreviation of group of15 |
| (termFormat EnglishLanguage GroupOf15 "group of15") | domainEnglishFormat.kif 26756-26756 | "G-15" is an abbreviation of group of15 |
| (termFormat ChineseTraditionalLanguage GroupOf15 "15人小組") | domainEnglishFormat.kif 26757-26757 | "G-15" is an abbreviation of group of15 |
| (termFormat ChineseLanguage GroupOf15 "15人小组") | domainEnglishFormat.kif 26758-26758 | "G-15" is an abbreviation of group of15 |
|