Muslim(穆斯林) | ![]() |
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 | 穆斯林 是 宗教属性 的 instance |
appearance as argument number 2 |
![]() |
(subAttribute AhmadiyyaMuslim Muslim) | People.kif 1344-1344 | Ahmadiyya穆斯林 是 穆斯林 的 subAttribute |
(subAttribute DruzeMuslim Muslim) | People.kif 1358-1358 | 德鲁兹穆斯林 是 穆斯林 的 subAttribute |
(subAttribute ShiaMuslim Muslim) | People.kif 1374-1374 | 什叶派穆斯林 是 穆斯林 的 subAttribute |
(subAttribute SunniMuslim Muslim) | People.kif 1393-1393 | 逊尼派穆斯林 是 穆斯林 的 subAttribute |
(termFormat ChineseLanguage Muslim "穆斯林") | domainEnglishFormat.kif 39460-39460 | 逊尼派穆斯林 是 穆斯林 的 subAttribute |
(termFormat ChineseTraditionalLanguage Muslim "穆斯林") | domainEnglishFormat.kif 39459-39459 | 逊尼派穆斯林 是 穆斯林 的 subAttribute |
(termFormat EnglishLanguage Muslim "muslim") | domainEnglishFormat.kif 39458-39458 | 逊尼派穆斯林 是 穆斯林 的 subAttribute |
antecedent |
![]() |
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 |
![]() |
![]() |