| Muslim | |
| appearance as argument number 1 |
|
|
| (documentation Muslim EnglishLanguage "A Muslim is one who subscribes to the beliefs of Islam.") | People.kif 1328-1328 | |
| (instance Muslim ReligiousAttribute) | People.kif 1327-1327 |
| appearance as argument number 2 |
|
|
| (subAttribute AhmadiyyaMuslim Muslim) | People.kif 1343-1343 | |
| (subAttribute DruzeMuslim Muslim) | People.kif 1357-1357 | |
| (subAttribute ShiaMuslim Muslim) | People.kif 1373-1373 | |
| (subAttribute SunniMuslim Muslim) | People.kif 1392-1392 | |
| (termFormat ChineseLanguage Muslim "穆斯林") | domainEnglishFormat.kif 39480-39480 | |
| (termFormat ChineseTraditionalLanguage Muslim "穆斯林") | domainEnglishFormat.kif 39479-39479 | |
| (termFormat EnglishLanguage Muslim "muslim") | domainEnglishFormat.kif 39478-39478 |
| antecedent |
|
|
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1330-1332 | |
| (=> (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 | |
| (=> (and (attribute ?P Muslim) (capability Hajj agent ?P)) (modalAttribute (exists (?H) (and (instance ?H Hajj) (agent ?H ?P))) Obligation)) |
ArabicCulture.kif 134-143 |
| consequent |
|
|
| (=> (instance ?A Aqiqah) (exists (?AGENT) (and (agent ?A ?AGENT) (property ?A Muslim)))) |
ArabicCulture.kif 326-331 | |
| (=> (instance ?M Misbahah) (hasPurpose ?M (exists (?P ?H) (and (instance ?P Praying) (agent ?P ?H) (attribute ?H Muslim) (patient ?P ?M))))) |
ArabicCulture.kif 546-554 | |
| (=> (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 | |
| (=> (instance ?Z Zakat) (exists (?H) (and (instance ?H Human) (agent ?Z ?H) (attribute ?H Muslim)))) |
ArabicCulture.kif 196-202 |
|
|
|