BigSix - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

statement

(not
(equal BigSix GroupOf6))

Government.kif 2852-2852