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 est un sous-attribut 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 est un attribut de objet objet est un membre de ShiiteSect |