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


KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOf3
GroupOf3(group of3)

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


(instance GroupOf3 OrganizationOfNations) Government.kif 3267-3267 Group of3 is an instance of organization of nations
(dateEstablished GroupOf3
    (MonthFn September
        (YearFn 1990)))
Government.kif 3270-3270 The month September is a date established of group of3
(organizationalObjective GroupOf3 PoliticalCooperation) Government.kif 3271-3271 Political cooperation is an organizational objective of group of3

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


(conventionalLongName "Group of 3" GroupOf3) Government.kif 3268-3268 Group of3 is a conventional long name of "Group of 3"
(abbreviation "G-3" GroupOf3) Government.kif 3269-3269 "G-3" is an abbreviation of group of3
(termFormat EnglishLanguage GroupOf3 "group of3") domainEnglishFormat.kif 26768-26768 "G-3" is an abbreviation of group of3
(termFormat ChineseTraditionalLanguage GroupOf3 "3人小組") domainEnglishFormat.kif 26769-26769 "G-3" is an abbreviation of group of3
(termFormat ChineseLanguage GroupOf3 "3人小组") domainEnglishFormat.kif 26770-26770 "G-3" is an abbreviation of group of3


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners