TreeView Knowledge Base Browser - ReligiousAttribute

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	子類宗教屬性 and RelationalAttribute

appearance as argument number 2

(instance Bahai ReligiousAttribute)	People.kif 754-754	例巴哈 and 宗教屬性
(instance Buddhist ReligiousAttribute)	People.kif 766-766	例佛教徒 and 宗教屬性
(instance Confucianist ReligiousAttribute)	People.kif 1303-1303	例儒 and 宗教屬性
(instance Hindu ReligiousAttribute)	People.kif 1315-1315	例印度教 and 宗教屬性
(instance Jain ReligiousAttribute)	People.kif 1407-1407	例耆那教 and 宗教屬性
(instance Muslim ReligiousAttribute)	People.kif 1327-1327	例穆斯林 and 宗教屬性
(instance Neopaganismist ReligiousAttribute)	People.kif 1453-1453	例 neopaganismist and 宗教屬性
(instance ReligiousJew ReligiousAttribute)	People.kif 1424-1424	例宗教的猶太人 and 宗教屬性
(instance Shintoist ReligiousAttribute)	People.kif 1468-1468	例神道教 and 宗教屬性
(instance Sikh ReligiousAttribute)	People.kif 1483-1483	例錫克教 and 宗教屬性
(instance Taoist ReligiousAttribute)	People.kif 1498-1498	例道 and 宗教屬性
(instance Zoroastrian ReligiousAttribute)	People.kif 1513-1513	例拜火教 and 宗教屬性
(subclass Christian ReligiousAttribute)	People.kif 791-791	子類基督教 and 宗教屬性
(termFormat ChineseLanguage ReligiousAttribute "宗教属性")	domainEnglishFormat.kif 49394-49394
(termFormat ChineseTraditionalLanguage ReligiousAttribute "宗教屬性")	domainEnglishFormat.kif 49393-49393
(termFormat EnglishLanguage ReligiousAttribute "religious attribute")	domainEnglishFormat.kif 49392-49392

consequent

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

Music.kif 633-639