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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Pleasure
Pleasure(pleasure)delicious, delightful, luxuriation, pleasance, pleasing, pleasure

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


(contraryAttribute Pleasure Pain) emotion.kif 763-763 Pleasure is the opposite of pain
(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 Pleasure is an instance of emotional state

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


(subAttribute AestheticPleasure Pleasure) emotion.kif 1144-1144 Aesthetic pleasure is a subattribute of pleasure
(subAttribute MasteryPleasure Pleasure) emotion.kif 813-813 Mastery pleasure is a subattribute of pleasure
(subAttribute Schadenfreude Pleasure) emotion.kif 764-764 Schadenfreude is a subattribute of pleasure
(subAttribute SensoryPleasure Pleasure) emotion.kif 799-799 Sensory pleasure is a subattribute of pleasure
(subAttribute SexualPleasure Pleasure) emotion.kif 1104-1104 Sexual pleasure is a subattribute of pleasure
(subAttribute SocialPleasure Pleasure) emotion.kif 1071-1071 Social pleasure is a subattribute of pleasure
(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 Pleasure in english language is called "pleased"

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