CausingHappiness - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage CausingHappiness "causing happiness")	domainEnglishFormat.kif 13524-13524
(termFormat ChineseTraditionalLanguage CausingHappiness "引起幸福")	domainEnglishFormat.kif 13525-13525
(termFormat ChineseLanguage CausingHappiness "引起幸福")	domainEnglishFormat.kif 13526-13526

antecedent

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

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