| Muslim(穆斯林) | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1328-1328 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1327-1327 | 穆斯林 是 宗教属性 的 instance |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1343-1343 | Ahmadiyya穆斯林 是 穆斯林 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1357-1357 | 德鲁兹穆斯林 是 穆斯林 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1373-1373 | 什叶派穆斯林 是 穆斯林 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1392-1392 | 逊尼派穆斯林 是 穆斯林 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39447-39447 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39446-39446 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39445-39445 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1330-1332 | 穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 伊斯兰教 的 member |
| 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 |
|
|
|