CausingUnhappiness - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CausingUnhappiness EnglishLanguage "Any Process whose result is that the patient of the process is unhappy.")	Mid-level-ontology.kif 25451-25452
(subclass CausingUnhappiness Process)	Mid-level-ontology.kif 25450-25450

appearance as argument number 2

(subclass CausingPain CausingUnhappiness)	Mid-level-ontology.kif 25446-25446
(termFormat ChineseLanguage CausingUnhappiness "导致不快乐")	domainEnglishFormat.kif 13545-13545
(termFormat ChineseTraditionalLanguage CausingUnhappiness "導致不快樂")	domainEnglishFormat.kif 13544-13544
(termFormat EnglishLanguage CausingUnhappiness "causing unhappiness")	domainEnglishFormat.kif 13543-13543

antecedent

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

Mid-level-ontology.kif 25454-25465