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 667-670
(subclass ReligiousAttribute RelationalAttribute)	People.kif 666-666

appearance as argument number 2

(instance Bahai ReligiousAttribute)	People.kif 756-756
(instance Buddhist ReligiousAttribute)	People.kif 768-768
(instance Confucianist ReligiousAttribute)	People.kif 1305-1305
(instance Hindu ReligiousAttribute)	People.kif 1317-1317
(instance Jain ReligiousAttribute)	People.kif 1409-1409
(instance Muslim ReligiousAttribute)	People.kif 1329-1329
(instance Neopaganismist ReligiousAttribute)	People.kif 1455-1455
(instance ReligiousJew ReligiousAttribute)	People.kif 1426-1426
(instance Shintoist ReligiousAttribute)	People.kif 1470-1470
(instance Sikh ReligiousAttribute)	People.kif 1485-1485
(instance Taoist ReligiousAttribute)	People.kif 1500-1500
(instance Zoroastrian ReligiousAttribute)	People.kif 1515-1515
(subclass Christian ReligiousAttribute)	People.kif 793-793
(termFormat ChineseLanguage ReligiousAttribute "宗教属性")	domainEnglishFormat.kif 49388-49388
(termFormat ChineseTraditionalLanguage ReligiousAttribute "宗教屬性")	domainEnglishFormat.kif 49387-49387
(termFormat EnglishLanguage ReligiousAttribute "religious attribute")	domainEnglishFormat.kif 49386-49386

consequent

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

Music.kif 629-635