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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - GroupOf6

appearance as argument number 1

(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3228-3228
(instance GroupOf6 OrganizationOfNations) Government.kif 3224-3224
(organizationalObjective GroupOf6 NuclearDisarmament) Government.kif 3229-3229

appearance as argument number 2

(abbreviation "G-6" GroupOf6) Government.kif 3226-3226
(conventionalLongName "Group of 6" GroupOf6) Government.kif 3225-3225
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3227-3227
(termFormat EnglishLanguage GroupOf6 "group of6") domainEnglishFormat.kif 4884-4884


    (equal BigSix GroupOf6))
Government.kif 2852-2852

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners