No TPTP formula. May not be expressible in strict first order. |
People.kif 1339-1339 |
子集合 ahmadiyya教派 and 伊斯蘭教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1353-1353 |
子集合 德魯茲教派 and 伊斯蘭教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1368-1368 |
子集合 什葉派 and 伊斯蘭教 |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1387-1387 |
子集合 遜尼派 and 伊斯蘭教 |
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 |
|