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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroupOf6

Sigma KEE - GroupOf6
GroupOf6

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


(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3271-3271
(instance GroupOf6 OrganizationOfNations) Government.kif 3267-3267
(organizationalObjective GroupOf6 NuclearDisarmament) Government.kif 3272-3272

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


(abbreviation "G-6" GroupOf6) Government.kif 3269-3269
(conventionalLongName "Group of 6" GroupOf6) Government.kif 3268-3268
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3270-3270
(termFormat ChineseLanguage GroupOf6 "6人组") domainEnglishFormat.kif 26769-26769
(termFormat ChineseTraditionalLanguage GroupOf6 "6人小組") domainEnglishFormat.kif 26768-26768
(termFormat EnglishLanguage GroupOf6 "group of6") domainEnglishFormat.kif 26767-26767

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


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


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