CausingUnhappiness - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CausingUnhappiness Process)	emotion.kif 1305-1305	Causing unhappiness is a subclass of process
(documentation CausingUnhappiness EnglishLanguage "Any Process whose result is that the patient of the process is unhappy.")	emotion.kif 1306-1307	Causing unhappiness is a subclass of process

appearance as argument number 2

(termFormat EnglishLanguage CausingUnhappiness "causing unhappiness")	domainEnglishFormat.kif 13536-13536
(termFormat ChineseTraditionalLanguage CausingUnhappiness "導致不快樂")	domainEnglishFormat.kif 13537-13537
(termFormat ChineseLanguage CausingUnhappiness "导致不快乐")	domainEnglishFormat.kif 13538-13538
(subclass CausingPain CausingUnhappiness)	emotion.kif 1301-1301	Causing pain is a subclass of causing unhappiness

antecedent

(=>
    (and
        (instance ?C CausingUnhappiness)
        (patient ?C ?P))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?C))
            (not
                (attribute ?P Unhappiness)))
        (holdsDuring
            (EndFn
                (WhenFn ?C))
            (attribute ?P Unhappiness))))

If X is an instance of causing unhappiness and Y is a patient of X, then unhappiness is not an attribute of Y holds during the beginning of the time of existence of X and unhappiness is an attribute of Y holds during the end of the time of existence of X