| ShiaMuslim(什葉派穆斯林)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1374-1375 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6851-6851 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7834-7834 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 7835-7835 | |
| No TPTP formula. May not be expressible in strict first order. | People.kif 1373-1373 | 子屬性 什葉派穆斯林 and 穆斯林 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52539-52539 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52538-52538 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 52537-52537 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | People.kif 1377-1379 | attribute Object and 什葉派穆斯林 會員 Object and 什葉派 |
|
|
|