No TPTP formula. May not be expressible in strict first order. |
People.kif 1339-1339 |
AhmadiyyaSect e' uma sub-colecao de Islam |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1353-1353 |
DruzeSect e' uma sub-colecao de Islam |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1368-1368 |
ShiiteSect e' uma sub-colecao de Islam |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1387-1387 |
SunniSect e' uma sub-colecao de 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 |
|