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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroupOf7

Sigma KEE - GroupOf7
GroupOf7

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


(dateEstablished GroupOf7
    (DayFn 22
        (MonthFn September
            (YearFn 1985))))
Government.kif 3265-3265 dateEstablished GroupOf7 and 22 day
(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 GroupOf7OrganizationOfNationsinstance では %n
(organizationalObjective GroupOf7 EconomicCooperation) Government.kif 3266-3266 organizationalObjective GroupOf7 and EconomicCooperation

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


(abbreviation "G-7" GroupOf7) Government.kif 3260-3260 abbreviation "G-7" and GroupOf7
(conventionalLongName "Group of 7" GroupOf7) Government.kif 3259-3259 conventionalLongName "Group of 7" and GroupOf7
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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