| Hajj | |
| appearance as argument number 1 |
|
|
| (documentation Hajj EnglishLanguage "The Pilgrimage to Mecca in Islam. It is the fifth obligatory Pillar of the Five Pillars of Islam for those who are ablebodied and can afford to do pilgrimage to Mecca at least once in their lifetime. It takes place every year in the Islamic month of Dhu al-Hijjah.") | ArabicCulture.kif 115-118 | |
| (subclass Hajj ReligiousProcess) | ArabicCulture.kif 120-120 | |
| (subclass Hajj Translocation) | ArabicCulture.kif 121-121 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hajj "朝觐") | domainEnglishFormat.kif 27281-27281 | |
| (termFormat ChineseTraditionalLanguage Hajj "朝覲") | domainEnglishFormat.kif 27280-27280 | |
| (termFormat EnglishLanguage Hajj "hajj") | domainEnglishFormat.kif 27279-27279 |
| antecedent |
|
|
| (=> (and (attribute ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation)) |
ArabicCulture.kif 134-143 | |
| (=> (instance ?H Hajj) (destination ?H MeccaSaudiArabia)) |
ArabicCulture.kif 123-125 | |
| (=> (instance ?H Hajj) (exists (?D) (and (instance ?D DhuAlHijjah) (during ?H ?D)))) |
ArabicCulture.kif 127-132 |
| consequent |
|
|
| (=> (and (attribute ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation)) |
ArabicCulture.kif 134-143 |
|
|
|