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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOf11
GroupOf11(group of11)

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


(dateEstablished GroupOf11
    (DayFn 22
        (MonthFn June
            (YearFn 1984))))
Government.kif 3296-3296 The day 22 of month the month June is a date established of group of11
(instance GroupOf11 OrganizationOfNations) Government.kif 3292-3292 Group of11 is an instance of organization of nations
(organizationalObjective GroupOf11 EconomicCooperation) Government.kif 3297-3297 Economic cooperation is an organizational objective of group of11

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


(abbreviation "G-11" GroupOf11) Government.kif 3295-3295 "G-11" is an abbreviation of group of11
(conventionalLongName "Cartagena Group" GroupOf11) Government.kif 3294-3294 Group of11 is a conventional long name of "Cartagena Group"
(conventionalLongName "Group of 11" GroupOf11) Government.kif 3293-3293 Group of11 is a conventional long name of "Group of 11"
(termFormat ChineseLanguage GroupOf11 "11人小组") domainEnglishFormat.kif 26759-26759 Group of11 is a conventional long name of "Group of 11"
(termFormat ChineseTraditionalLanguage GroupOf11 "11人小組") domainEnglishFormat.kif 26758-26758 Group of11 is a conventional long name of "Group of 11"
(termFormat EnglishLanguage GroupOf11 "group of11") domainEnglishFormat.kif 26757-26757 Group of11 is a conventional long name of "Group of 11"


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