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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CausingHappiness
CausingHappiness(causing happiness)amuse, buoy_up, causing_happiness, cheer, cheer_up, convulse, humor, humour, jolly_along, jolly_up, lighten, lighten_up, 引起幸福

VerbNet: amuse-31.1|amuse, amuse-31.1|cheer, amuse-31.1|cheer, amuse-31.1|cheer, amuse-31.1|cheer,


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


(documentation CausingHappiness EnglishLanguage "Any Process whose result is that the patient of the process is happy.") Mid-level-ontology.kif 21695-21696
(subclass CausingHappiness Process) Mid-level-ontology.kif 21694-21694 Causing happiness is a subclass of process

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


(termFormat ChineseLanguage CausingHappiness "引起幸福") domainEnglishFormat.kif 13459-13459 "引起幸福" is the printable form of causing happiness in ChineseLanguage
(termFormat ChineseTraditionalLanguage CausingHappiness "引起幸福") domainEnglishFormat.kif 13458-13458 "引起幸福" is the printable form of causing happiness in ChineseTraditionalLanguage
(termFormat EnglishLanguage CausingHappiness "causing happiness") domainEnglishFormat.kif 13457-13457 "causing happiness" is the printable form of causing happiness in english language

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


(=>
    (and
        (instance ?C CausingHappiness)
        (patient ?C ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?C))
            (not
                (attribute ?P Happiness)))
        (holdsDuring
            (EndFn
                (WhenFn ?C))
            (attribute ?P Happiness))))
Mid-level-ontology.kif 21697-21708
(=>
    (and
        (instance ?C CausingHappiness)
        (patient ?C ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?C))
            (not
                (attribute ?P Unhappiness)))
        (holdsDuring
            (EndFn
                (WhenFn ?C))
            (attribute ?P Unhappiness))))
Mid-level-ontology.kif 21717-21728


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners