UdhiyahRitual - Sigma Knowledge base Browser

appearance as argument number 1

(documentation UdhiyahRitual EnglishLanguage "A ritual in which a lamb is killed as sacrifice on the day of The Greater Eid (Eid Aladha).")	ArabicCulture.kif 239-240
(subclass UdhiyahRitual Killing)	ArabicCulture.kif 243-243	Udhiyah ritual is a subclass of killing
(subclass UdhiyahRitual ReligiousProcess)	ArabicCulture.kif 242-242	Udhiyah ritual is a subclass of religious process

appearance as argument number 2

(termFormat ChineseLanguage UdhiyahRitual "udhiyah仪式")	domainEnglishFormat.kif 59820-59820
(termFormat ChineseTraditionalLanguage UdhiyahRitual "udhiyah儀式")	domainEnglishFormat.kif 59819-59819
(termFormat EnglishLanguage UdhiyahRitual "udhiyah ritual")	domainEnglishFormat.kif 59818-59818

antecedent

(=>
    (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

consequent

(=> (attribute ?S Udhiyah) (exists (?UR) (and (instance ?S Lamb) (instance ?UR UdhiyahRitual) (patient ?UR ?S))))	ArabicCulture.kif 259-265	If udhiyah is an attribute of an object, then there exists a process such that the object is an instance of lamb and the process is an instance of udhiyah ritual and the object is a patient of the process
(=> (instance ?EA EidAladha) (exists (?UR) (and (instance ?UR UdhiyahRitual) (subProcess ?UR ?EA))))	ArabicCulture.kif 273-278	If a process is an instance of eid aladha, then there exists another process such that the other process is an instance of udhiyah ritual and the other process is a subprocess of the process