| Muslim | |
| appearance as argument number 1 |
|
|
| (documentation Muslim EnglishLanguage "A Muslim is one who subscribes to the beliefs of Islam.") | People.kif 1354-1354 | |
| (instance Muslim ReligiousAttribute) | People.kif 1353-1353 |
| appearance as argument number 2 |
|
|
| (subAttribute AhmadiyyaMuslim Muslim) | People.kif 1369-1369 | |
| (subAttribute DruzeMuslim Muslim) | People.kif 1383-1383 | |
| (subAttribute ShiaMuslim Muslim) | People.kif 1399-1399 | |
| (subAttribute SunniMuslim Muslim) | People.kif 1418-1418 | |
| (termFormat ChineseLanguage Muslim "穆斯林") | domainEnglishFormat.kif 39427-39427 | |
| (termFormat ChineseTraditionalLanguage Muslim "穆斯林") | domainEnglishFormat.kif 39426-39426 | |
| (termFormat EnglishLanguage Muslim "muslim") | domainEnglishFormat.kif 39425-39425 |
| antecedent |
|
|
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1356-1358 | |
| (=> (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) (attribute ?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 |
|
|
|