Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GroupOf8(group of8) |
| appearance as argument number 1 |
|
| (instance GroupOf8 OrganizationOfNations) | Government.kif 3296-3296 | Group of8 is an instance of organization of nations |
| (dateEstablished GroupOf8 (MonthFn October (YearFn 1975))) |
Government.kif 3299-3299 | The month October is a date established of group of8 |
| (organizationalObjective GroupOf8 EconomicCooperation) | Government.kif 3300-3300 | Economic cooperation is an organizational objective of group of8 |
| (documentation GroupOf8 EnglishLanguage "The GroupOf8 members were participants in the Conference on International Economic Cooperation (CIEC) between 1975-1977.") | Government.kif 3302-3304 | Economic cooperation is an organizational objective of group of8 |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Group of 8" GroupOf8) | Government.kif 3297-3297 | Group of8 is a conventional long name of "Group of 8" |
| (abbreviation "G-8" GroupOf8) | Government.kif 3298-3298 | "G-8" is an abbreviation of group of8 |
| (termFormat EnglishLanguage GroupOf8 "group of8") | domainEnglishFormat.kif 26798-26798 | "G-8" is an abbreviation of group of8 |
| (termFormat ChineseTraditionalLanguage GroupOf8 "8人小組") | domainEnglishFormat.kif 26799-26799 | "G-8" is an abbreviation of group of8 |
| (termFormat ChineseLanguage GroupOf8 "8人小组") | domainEnglishFormat.kif 26800-26800 | "G-8" is an abbreviation of group of8 |
|