ReligiousAttribute - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ReligiousAttribute EnglishLanguage "An Attribute indicating the membership of a Human in a BeliefGroup. Note that various attributes indicating kinds of lack of belief in a religion are InternalAttributes, since they do not depend on relation to a particular group.")	People.kif 665-668
(subclass ReligiousAttribute RelationalAttribute)	People.kif 664-664

appearance as argument number 2

(instance Bahai ReligiousAttribute)	People.kif 754-754
(instance Buddhist ReligiousAttribute)	People.kif 766-766
(instance Confucianist ReligiousAttribute)	People.kif 1304-1304
(instance Hindu ReligiousAttribute)	People.kif 1316-1316
(instance Jain ReligiousAttribute)	People.kif 1408-1408
(instance Muslim ReligiousAttribute)	People.kif 1328-1328
(instance Neopaganismist ReligiousAttribute)	People.kif 1454-1454
(instance ReligiousJew ReligiousAttribute)	People.kif 1425-1425
(instance Shintoist ReligiousAttribute)	People.kif 1469-1469
(instance Sikh ReligiousAttribute)	People.kif 1484-1484
(instance Taoist ReligiousAttribute)	People.kif 1499-1499
(instance Zoroastrian ReligiousAttribute)	People.kif 1514-1514
(subclass Christian ReligiousAttribute)	People.kif 791-791
(termFormat ChineseLanguage ReligiousAttribute "宗教属性")	domainEnglishFormat.kif 49398-49398
(termFormat ChineseTraditionalLanguage ReligiousAttribute "宗教屬性")	domainEnglishFormat.kif 49397-49397
(termFormat EnglishLanguage ReligiousAttribute "religious attribute")	domainEnglishFormat.kif 49396-49396

consequent

(=>
    (musicGenre ?MR ReligiousMusic)
    (exists (?ATTR ?X)
        (and
            (instance ?ATTR ReligiousAttribute)
            (attribute ?X ?ATTR)
            (refers ?MR ?X))))

Music.kif 635-641