| Unhappiness | |
| appearance as argument number 1 |
|
|
| (actionTendency Unhappiness Frowning) | emotion.kif 178-178 | |
| (contraryAttribute Unhappiness Happiness) | Mid-level-ontology.kif 17112-17112 | |
| (documentation Unhappiness EnglishLanguage "The state of being unhappy, experiencing pain, sorrow or unease.") | Mid-level-ontology.kif 17113-17114 | |
| (instance Unhappiness EmotionalState) | Mid-level-ontology.kif 17111-17111 |
| appearance as argument number 2 |
|
|
| (subAttribute Anger Unhappiness) | Mid-level-ontology.kif 17128-17128 | |
| (subAttribute Anxiety Unhappiness) | Mid-level-ontology.kif 17120-17120 | |
| (subAttribute Pain Unhappiness) | Mid-level-ontology.kif 17136-17136 | |
| (termFormat ChineseLanguage Unhappiness "不幸") | domainEnglishFormat.kif 59850-59850 | |
| (termFormat ChineseTraditionalLanguage Unhappiness "不幸") | domainEnglishFormat.kif 59849-59849 | |
| (termFormat EnglishLanguage Unhappiness "unhappiness") | domainEnglishFormat.kif 59848-59848 |
| consequent |
|
|
| (=> (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 21754-21765 | |
| (=> (and (instance ?FROWN Frowning) (agent ?FROWN ?AGENT)) (holdsDuring (WhenFn ?FROWN) (attribute ?AGENT Unhappiness))) |
Mid-level-ontology.kif 10666-10670 | |
| (=> (and (instance ?WEEP Weeping) (agent ?WEEP ?AGENT)) (holdsDuring (WhenFn ?WEEP) (attribute ?AGENT Unhappiness))) |
Mid-level-ontology.kif 10687-10691 |
|
|
|