Atheism - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Atheism EnglishLanguage "The BeliefGroup of members who share the belief that God does not exist.")	People.kif 707-708
(instance Atheism BeliefGroup)	People.kif 706-706	Atheism is an instance of belief group

appearance as argument number 2

(termFormat ChineseLanguage Atheism "无神论")	domainEnglishFormat.kif 8863-8863
(termFormat ChineseTraditionalLanguage Atheism "無神論")	domainEnglishFormat.kif 8862-8862
(termFormat EnglishLanguage Atheism "atheism")	domainEnglishFormat.kif 8861-8861

antecedent

(=>
    (member ?ATHEIST Atheism)
    (believes ?ATHEIST
        (not
            (exists (?GOD)
                (equal ?GOD God)))))

People.kif 710-715

consequent

(<=>
(attribute ?INDIVIDUAL Atheist)
(member ?INDIVIDUAL Atheism))

People.kif 720-722