No TPTP formula. May not be expressible in strict first order. |
People.kif 1484-1485 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7849-7849 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7850-7850 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7851-7851 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7852-7852 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7854-7854 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6857-6857 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7856-7856 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7857-7857 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7858-7858 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7860-7860 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1483-1483 |
锡克教 是 宗教属性 的 instance |