Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Schadenfreude

Sigma KEE - Schadenfreude
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 757-759
(subAttribute Schadenfreude Pleasure) emotion.kif 761-761

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Schadenfreude "schadenfreude") emotion.kif 756-756

antecedent
-------------------------


(=>
    (attribute ?A Schadenfreude)
    (exists (?A2 ?P)
        (and
            (causesProposition ?P
                (attribute ?A Schadenfreude))
            (not
                (equal ?A ?A2))
            (not
                (desires ?A2 ?P)))))
emotion.kif 763-772

consequent
-------------------------


(=>
    (attribute ?A Pleasure)
    (exists (?P)
        (and
            (causesProposition ?P
                (attribute ?A Schadenfreude))
            (desires ?A ?P))))
emotion.kif 784-790
(=>
    (attribute ?A Schadenfreude)
    (exists (?A2 ?P)
        (and
            (causesProposition ?P
                (attribute ?A Schadenfreude))
            (not
                (equal ?A ?A2))
            (not
                (desires ?A2 ?P)))))
emotion.kif 763-772


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners