| Zakat | |
| appearance as argument number 1 |
|
|
| (documentation Zakat EnglishLanguage "The third of the Five Pillars of Islam and refers to spending at least 2.5% of one's wealth each year for the poor or needy.") | ArabicCulture.kif 182-184 | |
| (subclass Zakat ReligiousProcess) | ArabicCulture.kif 186-186 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Zakat "天课") | domainEnglishFormat.kif 63991-63991 | |
| (termFormat ChineseTraditionalLanguage Zakat "天課") | domainEnglishFormat.kif 63990-63990 | |
| (termFormat EnglishLanguage Zakat "zakat") | domainEnglishFormat.kif 63989-63989 |
| antecedent |
|
|
| (=> (instance ?Z Zakat) (and (agent ?Z ?H) (attribute ?H Muslim))) |
ArabicCulture.kif 187-191 |
| consequent |
|
|
| (=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T ?C) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 193-210 |
|
|
|