No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3277-3281 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11836-11836 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11832-11832 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11833-11833 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10253-10253 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11835-11835 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11831-11831 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3275-3275 |
Signing an agreement is a subclass of committing |