No TPTP formula. May not be expressible in strict first order. |
People.kif 1339-1339 |
AhmadiyyaSect est une sous-collection appartenant � Islam |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1353-1353 |
DruzeSect est une sous-collection appartenant � Islam |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1368-1368 |
ShiiteSect est une sous-collection appartenant � Islam |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1387-1387 |
SunniSect est une sous-collection appartenant � Islam |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31129-31129 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31128-31128 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 31127-31127 |
|