![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Muslim EnglishLanguage "A Muslim is one who subscribes to the beliefs of Islam.") | People.kif 1329-1329 | |
(instance Muslim ReligiousAttribute) | People.kif 1328-1328 |
appearance as argument number 2 |
![]() |
(subAttribute AhmadiyyaMuslim Muslim) | People.kif 1344-1344 | |
(subAttribute DruzeMuslim Muslim) | People.kif 1358-1358 | |
(subAttribute ShiaMuslim Muslim) | People.kif 1374-1374 | |
(subAttribute SunniMuslim Muslim) | People.kif 1393-1393 | |
(termFormat ChineseLanguage Muslim "穆斯林") | domainEnglishFormat.kif 39460-39460 | |
(termFormat ChineseTraditionalLanguage Muslim "穆斯林") | domainEnglishFormat.kif 39459-39459 | |
(termFormat EnglishLanguage Muslim "muslim") | domainEnglishFormat.kif 39458-39458 |
antecedent |
![]() |
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1331-1333 | |
(=> (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 |
![]() |
![]() |