|
|
   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 25432-25433 | |
| (subclass CausingUnhappiness Process) | Mid-level-ontology.kif 25431-25431 |
| appearance as argument number 2 |
|
|
| (subclass CausingPain CausingUnhappiness) | Mid-level-ontology.kif 25427-25427 | |
| (termFormat ChineseLanguage CausingUnhappiness "导致不快乐") | domainEnglishFormat.kif 13539-13539 | |
| (termFormat ChineseTraditionalLanguage CausingUnhappiness "導致不快樂") | domainEnglishFormat.kif 13538-13538 | |
| (termFormat EnglishLanguage CausingUnhappiness "causing unhappiness") | domainEnglishFormat.kif 13537-13537 |
| 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 25435-25446 |
|
|
|