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 |
appearance as argument number 2 |
consequent |
(=> (musicGenre ?MR ReligiousMusic) (exists (?ATTR ?X) (and (instance ?ATTR ReligiousAttribute) (attribute ?X ?ATTR) (refers ?MR ?X)))) |
Music.kif 633-639 |