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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BigSix

Sigma KEE - BigSix
BigSix

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


(dateEstablished BigSix
    (YearFn 1967))
Government.kif 2851-2851
(instance BigSix OrganizationOfNations) Government.kif 2849-2849
(organizationalObjective BigSix EconomicCooperation) Government.kif 2853-2853

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


(conventionalLongName "Big Six" BigSix) Government.kif 2850-2850
(termFormat EnglishLanguage BigSix "big six") domainEnglishFormat.kif 2256-2256

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