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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pleasure
Pleasure(placer)

appearance as argument number 1
-------------------------


(contraryAttribute Pleasure Pain) emotion.kif 763-763
(documentation Pleasure EnglishLanguage "A positively experienced emotion which is sought out (approached) and is associated with happiness, enjoyment, and satisfaction. [Source: OCEAS]") emotion.kif 779-781
(instance Pleasure EmotionalState) emotion.kif 777-777

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


(subAttribute AestheticPleasure Pleasure) emotion.kif 1144-1144
(subAttribute MasteryPleasure Pleasure) emotion.kif 813-813
(subAttribute Schadenfreude Pleasure) emotion.kif 764-764
(subAttribute SensoryPleasure Pleasure) emotion.kif 799-799
(subAttribute SexualPleasure Pleasure) emotion.kif 1104-1104
(subAttribute SocialPleasure Pleasure) emotion.kif 1071-1071
(termFormat EnglishLanguage Pleasure "pleasure") emotion.kif 778-778
(termFormat FrenchLanguage Pleasure "plaisir") emotion.kif 783-783
(termFormat GermanLanguage Pleasure "vergnügen") emotion.kif 782-782
(termFormat SpanishLanguage Pleasure "placer") emotion.kif 784-784
(utterance EnglishLanguage Pleasure "pleased") emotion.kif 785-785

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


(=>
    (attribute ?A Pleasure)
    (exists (?P)
        (and
            (causesProposition ?P
                (attribute ?A Schadenfreude))
            (desires ?A ?P))))
emotion.kif 787-793


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners