|
|
   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 191-193 | |
| (subclass Zakat ReligiousProcess) | ArabicCulture.kif 195-195 | 子類 天課 and ReligiousProcess |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Zakat "天课") | domainEnglishFormat.kif 64035-64035 | |
| (termFormat ChineseTraditionalLanguage Zakat "天課") | domainEnglishFormat.kif 64034-64034 | |
| (termFormat EnglishLanguage Zakat "zakat") | domainEnglishFormat.kif 64033-64033 |
| antecedent |
|
|
| (=> (instance ?Z Zakat) (exists (?H) (and (instance ?H Human) (agent ?Z ?H) (attribute ?H Muslim)))) |
ArabicCulture.kif 196-202 |
|
| consequent |
|
|
| (=> (and (attribute ?H Muslim) (equal (WealthFn ?H) ?W)) (modalAttribute (exists (?Z ?T ?U ?Y ?C) (and (instance ?Z Zakat) (instance ?Y Year) (during ?Y (WhenFn ?H)) (holdsDuring ?Y (attribute ?H FullyFormed)) (agent ?Z ?H) (patient ?Z ?T) (monetaryValue ?T (MeasureFn ?C ?U)) (instance ?U UnitOfCurrency) (greaterThan ?C (MultiplicationFn ?W 0.025)))) Obligation)) |
ArabicCulture.kif 204-223 |
|
|
|
|