No TPTP formula. May not be expressible in strict first order. |
emotion.kif 750-750 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 738-738 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 784-784 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 956-956 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1114-1114 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 821-821 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 904-904 |
|