| EidAladha
| |
| appearance as argument number 1 |
|
|
| (documentation EidAladha EnglishLanguage "A socioreligious event which commemorates the Prophet Ibrahim's (Abraham's) willingness to sacrifice his son Ismail. Muslims slaughter a lamb as an act of gratitude to God who saved Ismail by sending the angels with a great lamb to be slaughtered instead of Ismail.") | ArabicCulture.kif 267-270 | |
| (externalImage EidAladha "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Eidpakistan.jpg") | pictureList.kif 9994-9994 | |
| (subclass EidAladha ReligiousProcess) | ArabicCulture.kif 272-272 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EidAladha "宰牲节") | domainEnglishFormat.kif 21359-21359 | |
| (termFormat ChineseTraditionalLanguage EidAladha "宰牲節") | domainEnglishFormat.kif 21358-21358 | |
| (termFormat EnglishLanguage EidAladha "eid aladha") | domainEnglishFormat.kif 21357-21357 |
| antecedent |
|
|
| (=> (instance ?EA EidAladha) (exists (?UR) (and (instance ?UR UdhiyahRitual) (subProcess ?UR ?EA)))) |
ArabicCulture.kif 273-278 |
| 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 |
|
|
|