No TPTP formula. May not be expressible in strict first order. |
People.kif 1339-1339 |
Ahmadiyya sect is a proper sub-collection of islam |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1353-1353 |
Druze sect is a proper sub-collection of islam |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1368-1368 |
Shiite sect is a proper sub-collection of islam |
No TPTP formula. May not be expressible in strict first order. |
People.kif 1387-1387 |
Sunni sect is a proper sub-collection of 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 |
|