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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GroupOf6

 Sigma KEE - GroupOf6
GroupOf6

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


(dateEstablished GroupOf6
    (DayFn 22
        (MonthFn May
            (YearFn 1985))))		 Government.kif 3228-3228
(instance GroupOf6 OrganizationOfNations) Government.kif 3224-3224
(organizationalObjective GroupOf6 NuclearDisarmament) Government.kif 3229-3229

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


(abbreviation "G-6" GroupOf6) Government.kif 3226-3226
(conventionalLongName "Group of 6" GroupOf6) Government.kif 3225-3225
(localLongName "Groupe des Six Sur le Desarmement" GroupOf6) Government.kif 3227-3227
(termFormat EnglishLanguage GroupOf6 "group of6") domainEnglishFormat.kif 4884-4884

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


(not
    (equal BigSix GroupOf6))		 Government.kif 2852-2852


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