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

Formal Language: 


KB Term:  Term intersection
English Word: 

  GroupOf6

Sigma KEE - GroupOf6
GroupOf6(group of6)

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


(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))
Government.kif 3252-3252 The day 22 of month the month May is a date established of group of6
(instance GroupOf6 OrganizationOfNations) Government.kif 3248-3248 Group of6 is an instance of organization of nations
(organizationalObjective GroupOf6 NuclearDisarmament) Government.kif 3253-3253 Nuclear disarmament is an organizational objective of group of6

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


(abbreviation "G-6" GroupOf6) Government.kif 3250-3250 "G-6" is an abbreviation of group of6
(conventionalLongName "Group of 6" GroupOf6) Government.kif 3249-3249 Group of6 is a conventional long name of "Group of 6"
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3251-3251 Group of6 is a local long name of "Groupe des Six Sur le Desarmement"
(termFormat ChineseLanguage GroupOf6 "6人组") domainEnglishFormat.kif 26789-26789 Group of6 is a local long name of "Groupe des Six Sur le Desarmement"
(termFormat ChineseTraditionalLanguage GroupOf6 "6人小組") domainEnglishFormat.kif 26788-26788 Group of6 is a local long name of "Groupe des Six Sur le Desarmement"
(termFormat EnglishLanguage GroupOf6 "group of6") domainEnglishFormat.kif 26787-26787 Group of6 is a local long name of "Groupe des Six Sur le Desarmement"

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


(not
    (equal BigSix GroupOf6))
Government.kif 2876-2876 equal big six and group of6


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