No TPTP formula. May not be expressible in strict first order. |
People.kif 1222-1223 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5853-5853 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6083-6083 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6084-6084 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6085-6085 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6086-6086 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6087-6087 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6088-6088 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6089-6089 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6090-6090 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6094-6094 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6092-6092 |
|
No TPTP formula. May not be expressible in strict first order. |
People.kif 1221-1221 |
Anglican is an instance of christian |