CausingUnhappiness |
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 24115-24116 | |
(subclass CausingUnhappiness Process) | Mid-level-ontology.kif 24114-24114 |
appearance as argument number 2 |
![]() |
(subclass CausingPain CausingUnhappiness) | Mid-level-ontology.kif 24110-24110 | |
(termFormat ChineseLanguage CausingUnhappiness "导致不快乐") | domainEnglishFormat.kif 13541-13541 | |
(termFormat ChineseTraditionalLanguage CausingUnhappiness "導致不快樂") | domainEnglishFormat.kif 13540-13540 | |
(termFormat EnglishLanguage CausingUnhappiness "causing unhappiness") | domainEnglishFormat.kif 13539-13539 |
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 24118-24129 |
![]() |
![]() |