CausingUnhappiness(causing unhappiness) |
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 23843-23844 | |
(subclass CausingUnhappiness Process) | Mid-level-ontology.kif 23842-23842 | Causing unhappiness is a subclass of process |
appearance as argument number 2 |
(subclass CausingPain CausingUnhappiness) | Mid-level-ontology.kif 23838-23838 | Causing pain is a subclass of causing unhappiness |
(termFormat ChineseLanguage CausingUnhappiness "导致不快乐") | domainEnglishFormat.kif 13530-13530 | |
(termFormat ChineseTraditionalLanguage CausingUnhappiness "導致不快樂") | domainEnglishFormat.kif 13529-13529 | |
(termFormat EnglishLanguage CausingUnhappiness "causing unhappiness") | domainEnglishFormat.kif 13528-13528 |
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 23846-23857 |
|