|
|
  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 | ShiaMuslim e' um sub-atributo de Muslim |
| 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 | ShiaMuslim e' um atributo de Objeto Objeto e' membro de ShiiteSect |
|
|
|
