Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GroupOf7(group of7) |
| appearance as argument number 1 |
|
| (instance GroupOf7 OrganizationOfNations) | Government.kif 3286-3286 | Group of7 is an instance of organization of nations |
| (documentation GroupOf7 EnglishLanguage "The memberships of the BigSeven and the GroupOf7 include the same Nations.") | Government.kif 3290-3291 | Group of7 is an instance of organization of nations |
| (dateEstablished GroupOf7 (DayFn 22 (MonthFn September (YearFn 1985)))) |
Government.kif 3293-3293 | The day 22 of month the month September is a date established of group of7 |
| (organizationalObjective GroupOf7 EconomicCooperation) | Government.kif 3294-3294 | Economic cooperation is an organizational objective of group of7 |
| appearance as argument number 2 |
|
|
| (conventionalLongName "Group of 7" GroupOf7) | Government.kif 3287-3287 | Group of7 is a conventional long name of "Group of 7" |
| (abbreviation "G-7" GroupOf7) | Government.kif 3288-3288 | "G-7" is an abbreviation of group of7 |
| (termFormat EnglishLanguage GroupOf7 "group of7") | domainEnglishFormat.kif 26786-26786 | "G-7" is an abbreviation of group of7 |
| (termFormat ChineseTraditionalLanguage GroupOf7 "7人小組") | domainEnglishFormat.kif 26787-26787 | "G-7" is an abbreviation of group of7 |
| (termFormat ChineseLanguage GroupOf7 "7人小组") | domainEnglishFormat.kif 26788-26788 | "G-7" is an abbreviation of group of7 |
| antecedent |
|
|
| (=> (member ?STATE GroupOf7) (attribute ?STATE MajorIndustrialEconomy)) |
Economy.kif 751-753 | If X is a member of group of7, then major industrial economy is an attribute of X |
|