Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOf7
GroupOf7(group of7)

appearance as argument number 1
-------------------------


(dateEstablished GroupOf7
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))
Government.kif 3265-3265 The day 22 is a date established of group of7
(documentation GroupOf7 EnglishLanguage "The memberships of the BigSeven and the GroupOf7 include the same Nations.") Government.kif 3262-3263
(instance GroupOf7 OrganizationOfNations) Government.kif 3258-3258 Group of7 is an instance of organization of nations
(organizationalObjective GroupOf7 EconomicCooperation) Government.kif 3266-3266 Economic cooperation is an organizational objective of group of7

appearance as argument number 2
-------------------------


(abbreviation "G-7" GroupOf7) Government.kif 3260-3260 "G-7" is an abbreviation of group of7
(conventionalLongName "Group of 7" GroupOf7) Government.kif 3259-3259 Group of7 is a conventional long name of "Group of 7"
(termFormat ChineseLanguage GroupOf7 "7人小组") domainEnglishFormat.kif 26784-26784
(termFormat ChineseTraditionalLanguage GroupOf7 "7人小組") domainEnglishFormat.kif 26783-26783
(termFormat EnglishLanguage GroupOf7 "group of7") domainEnglishFormat.kif 26782-26782

antecedent
-------------------------


(=>
    (member ?STATE GroupOf7)
    (attribute ?STATE MajorIndustrialEconomy))
Economy.kif 751-753


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners