No TPTP formula. May not be expressible in strict first order. |
People.kif 1339-1339 |
Ahmadiyya教派 是 伊斯兰教 的 真正的子集 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1353-1353 |
德鲁兹教派 是 伊斯兰教 的 真正的子集 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1368-1368 |
什叶派 是 伊斯兰教 的 真正的子集 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1387-1387 |
逊尼派 是 伊斯兰教 的 真正的子集 |
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 |
|