No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1162-1162 |
AestheticPleasure est un sous-attribut de plaisir |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 805-805 |
MasteryPleasure est un sous-attribut de plaisir |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 764-764 |
Schadenfreude est un sous-attribut de plaisir |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 791-791 |
SensoryPleasure est un sous-attribut de plaisir |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1096-1096 |
SexualPleasure est un sous-attribut de plaisir |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1063-1063 |
SocialPleasure est un sous-attribut de plaisir |
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 EnglishLanguage, plaisir and "pleased" |