No TPTP formula. May not be expressible in strict first order. |
People.kif 1479-1480 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6858-6858 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7861-7861 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7862-7862 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7863-7863 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7864-7864 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7865-7865 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1478-1478 |
Sikhism is an instance of belief group |