No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1162-1162 |
Aesthetic pleasure is a subattribute of pleasure |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 805-805 |
Mastery pleasure is a subattribute of pleasure |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 764-764 |
Schadenfreude is a subattribute of pleasure |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 791-791 |
Sensory pleasure is a subattribute of pleasure |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1096-1096 |
Sexual pleasure is a subattribute of pleasure |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1063-1063 |
Social pleasure is a subattribute of pleasure |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 778-778 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 783-783 |
|
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 784-784 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 785-785 |
utterance english language, pleasure and "pleased" |