No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4695-4695 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 927-927 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 702-702 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 748-748 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 742-742 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 782-782 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 955-955 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1113-1113 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 825-825 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 911-911 |
|