SpanishLanguage(spanish language) |
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 |