Anglicanism - Sigma Knowledge base Browser

appearance as argument number 1

(instance Anglicanism BeliefGroup)	People.kif 1251-1251	Anglicanism is an instance of belief group
(subCollection Anglicanism Christianity)	People.kif 1252-1252	Anglicanism is a proper sub-collection of christianity
(documentation Anglicanism EnglishLanguage "Anglicanism is version of Christianity promulgated by the ChurchOfEngland.")	People.kif 1253-1254	Anglicanism is a proper sub-collection of christianity

appearance as argument number 2

(termFormat EnglishLanguage Anglicanism "anglicanism")	domainEnglishFormat.kif 7487-7487
(termFormat ChineseTraditionalLanguage Anglicanism "英國國教")	domainEnglishFormat.kif 7488-7488
(termFormat ChineseLanguage Anglicanism "英国国教")	domainEnglishFormat.kif 7489-7489

consequent

(<=>
(attribute ?INDIVIDUAL Anglican)
(member ?INDIVIDUAL Anglicanism))

Anglican is an attribute of X if and only if X is a member of anglicanism