Udhiyah - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Udhiyah EnglishLanguage "A lamb that is killed as sacrifice on the day of The Greater ?eid (Eid Aladha).")	ArabicCulture.kif 255-256
(instance Udhiyah RelationalAttribute)	ArabicCulture.kif 258-258	Udhiyah is an instance of relational attribute

appearance as argument number 2

(termFormat ChineseLanguage Udhiyah "udhiyah")	domainEnglishFormat.kif 59789-59789
(termFormat ChineseTraditionalLanguage Udhiyah "udhiyah")	domainEnglishFormat.kif 59788-59788
(termFormat EnglishLanguage Udhiyah "udhiyah")	domainEnglishFormat.kif 59787-59787

antecedent

(=>
    (attribute ?S Udhiyah)
    (exists (?UR)
        (and
            (instance ?S Lamb)
            (instance ?UR UdhiyahRitual)
            (patient ?UR ?S))))

ArabicCulture.kif 259-265

consequent

(=>
    (instance ?UR UdhiyahRitual)
    (exists (?S ?EA ?P)
        (and
            (instance ?EA EidAladha)
            (during ?UR ?EA)
            (attribute ?S Udhiyah)
            (agent ?UR ?P)
            (attribute ?P Muslim)
            (patient ?UR ?S))))

ArabicCulture.kif 244-253