No TPTP formula. May not be expressible in strict first order. |
People.kif 1439-1440 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6108-6108 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6109-6109 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6110-6110 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5860-5860 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6111-6111 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6112-6112 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6113-6113 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6114-6114 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6116-6116 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6117-6117 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1438-1438 |
反犹太主义 是 信仰团体 的 instance |