Muslim(muslim) | ![]() | Almoravid, Islamist, Jihadist, Mohammedan, Moslem, Muhammadan, Muhammedan, Muslim, Saracen, Shi'ite, Shi'ite_Muslim, Shia_Muslim, Shiite, Shiite_Muslim |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | People.kif 1329-1329 | |
No TPTP formula. May not be expressible in strict first order. | People.kif 1328-1328 | Muslim is an instance of religious attribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | People.kif 1344-1344 | Ahmadiyya muslim is a subattribute of muslim |
No TPTP formula. May not be expressible in strict first order. | People.kif 1358-1358 | Druze muslim is a subattribute of muslim |
No TPTP formula. May not be expressible in strict first order. | People.kif 1374-1374 | Shia muslim is a subattribute of muslim |
No TPTP formula. May not be expressible in strict first order. | People.kif 1393-1393 | Sunni muslim is a subattribute of muslim |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39460-39460 | Sunni muslim is a subattribute of muslim |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39459-39459 | Sunni muslim is a subattribute of muslim |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39458-39458 | Sunni muslim is a subattribute of muslim |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | People.kif 1331-1333 | Muslim is an attribute of an object if and only if the object is a member of islam |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 204-223 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 134-143 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 326-331 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 546-554 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 244-253 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 196-202 |
![]() |
![]() |