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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOf15
GroupOf15(group of15)

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


(dateEstablished GroupOf15
    (MonthFn September
        (YearFn 1989)))
Government.kif 3303-3303 The month September is a date established of group of15
(documentation GroupOf15 EnglishLanguage "The GroupOf15 was a result of the NonalignedMovement.") Government.kif 3307-3308 The month September is a date established of group of15
(instance GroupOf15 OrganizationOfNations) Government.kif 3300-3300 Group of15 is an instance of organization of nations
(organizationalObjective GroupOf15 EconomicCooperation) Government.kif 3304-3304 Economic cooperation is an organizational objective of group of15
(organizationalObjective GroupOf15 PoliticalCooperation) Government.kif 3305-3305 Political cooperation is an organizational objective of group of15

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


(abbreviation "G-15" GroupOf15) Government.kif 3302-3302 "G-15" is an abbreviation of group of15
(conventionalLongName "Group of 15" GroupOf15) Government.kif 3301-3301 Group of15 is a conventional long name of "Group of 15"
(termFormat ChineseLanguage GroupOf15 "15人小组") domainEnglishFormat.kif 26782-26782 Group of15 is a conventional long name of "Group of 15"
(termFormat ChineseTraditionalLanguage GroupOf15 "15人小組") domainEnglishFormat.kif 26781-26781 Group of15 is a conventional long name of "Group of 15"
(termFormat EnglishLanguage GroupOf15 "group of15") domainEnglishFormat.kif 26780-26780 Group of15 is a conventional long name of "Group of 15"


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