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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GroupOf6
GroupOf6(group of6)group_of6

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


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

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


(abbreviation "G-6" GroupOf6) Government.kif 3226-3226 "G-6" is an abbreviation of group of6
(conventionalLongName "Group of 6" GroupOf6) Government.kif 3225-3225 Group of6 is a conventional long name of "Group of 6"
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3227-3227 Group of6 is a local long name of "Groupe des Six Sur le Desarmement"
(termFormat EnglishLanguage GroupOf6 "group of6") domainEnglishFormat.kif 4884-4884 "group of6" is the printable form of group of6 in english language

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


(not
    (equal BigSix GroupOf6))
Government.kif 2852-2852 Big six is not equal to group of6


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners