ReligiousJew - Sigma Knowledge base Browser

appearance as argument number 1

(instance ReligiousJew ReligiousAttribute)	People.kif 1459-1459	Religious jew is an instance of religious attribute
(documentation ReligiousJew EnglishLanguage "A ReligiousJew is one who subscribes to the beliefs of Judaism.")	People.kif 1460-1461	Religious jew is an instance of religious attribute

appearance as argument number 2

(instance JesusOfNazareth ReligiousJew)	Media.kif 1866-1866	Jesus of Nazareth is an instance of religious jew
(termFormat EnglishLanguage ReligiousJew "religious jew")	domainEnglishFormat.kif 49413-49413	Jesus of Nazareth is an instance of religious jew
(termFormat ChineseTraditionalLanguage ReligiousJew "宗教的猶太人")	domainEnglishFormat.kif 49414-49414	Jesus of Nazareth is an instance of religious jew
(termFormat ChineseLanguage ReligiousJew "宗教的犹太人")	domainEnglishFormat.kif 49415-49415	Jesus of Nazareth is an instance of religious jew

antecedent

(<=>
(attribute ?INDIVIDUAL ReligiousJew)
(member ?INDIVIDUAL Judaism))

consequent

(=>
    (and
        (instance ?T1 JewishHoliday)
        (observesHoliday ?A ?T1))
    (holdsDuring ?T1
        (attribute ?A ReligiousJew)))