No TPTP formula. May not be expressible in strict first order. |
People.kif 1440-1441 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6107-6107 |
|
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 5859-5859 |
|
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 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 6115-6115 |
|
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. |
People.kif 1439-1439 |
Antisemitism is an instance of belief group |