Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Schadenfreude
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Schadenfreude EnglishLanguage "A complex emotion that consists of the experience of pleasure as caused by the misfortune of others.") | emotion.kif 1179-1181 | |
| (subAttribute Schadenfreude Pleasure) | emotion.kif 1183-1183 | Schadenfreude is a subattribute of pleasure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Schadenfreude "schadenfreude") | emotion.kif 1178-1178 |
| antecedent |
|
|
| (=> (attribute ?A Schadenfreude) (exists (?A2 ?P) (and (causesProposition ?P (attribute ?A Schadenfreude)) (not (equal ?A ?A2)) (not (desires ?A2 ?P))))) |
emotion.kif 1185-1194 | If schadenfreude is an attribute of X, then there exist Y, Z such that schadenfreude is an attribute of X is a causes proposition of Z, equal X, Y, and Y doesn't desire Z |
| consequent |
|
|
| (=> (attribute ?A Schadenfreude) (exists (?A2 ?P) (and (causesProposition ?P (attribute ?A Schadenfreude)) (not (equal ?A ?A2)) (not (desires ?A2 ?P))))) |
emotion.kif 1185-1194 | If schadenfreude is an attribute of X, then there exist Y, Z such that schadenfreude is an attribute of X is a causes proposition of Z, equal X, Y, and Y doesn't desire Z |
|