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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOf6
GroupOf6

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


(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3222-3222
(instance GroupOf6 OrganizationOfNations) Government.kif 3218-3218
(organizationalObjective GroupOf6 NuclearDisarmament) Government.kif 3223-3223

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


(abbreviation "G-6" GroupOf6) Government.kif 3220-3220
(conventionalLongName "Group of 6" GroupOf6) Government.kif 3219-3219
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3221-3221
(termFormat ChineseLanguage GroupOf6 "6人组") domainEnglishFormat.kif 26707-26707
(termFormat ChineseTraditionalLanguage GroupOf6 "6人小組") domainEnglishFormat.kif 26706-26706
(termFormat EnglishLanguage GroupOf6 "group of6") domainEnglishFormat.kif 26705-26705

statement
-------------------------


(not
    (equal BigSix GroupOf6))
Government.kif 2846-2846


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