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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOf11
GroupOf11

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


(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))
Government.kif 3299-3299
(instance GroupOf11 OrganizationOfNations) Government.kif 3295-3295
(organizationalObjective GroupOf11 EconomicCooperation) Government.kif 3300-3300

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


(abbreviation "G-11" GroupOf11) Government.kif 3298-3298
(conventionalLongName "Cartagena Group" GroupOf11) Government.kif 3297-3297
(conventionalLongName "Group of 11" GroupOf11) Government.kif 3296-3296
(termFormat ChineseLanguage GroupOf11 "11人小组") domainEnglishFormat.kif 26777-26777
(termFormat ChineseTraditionalLanguage GroupOf11 "11人小組") domainEnglishFormat.kif 26776-26776
(termFormat EnglishLanguage GroupOf11 "group of11") domainEnglishFormat.kif 26775-26775


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