| CausingHappiness | |
| appearance as argument number 1 |
|
|
| (documentation CausingHappiness EnglishLanguage "Any Process whose result is that the patient of the process is happy.") | Mid-level-ontology.kif 23205-23206 | |
| (subclass CausingHappiness Process) | Mid-level-ontology.kif 23204-23204 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CausingHappiness "引起幸福") | domainEnglishFormat.kif 13521-13521 | |
| (termFormat ChineseTraditionalLanguage CausingHappiness "引起幸福") | domainEnglishFormat.kif 13520-13520 | |
| (termFormat EnglishLanguage CausingHappiness "causing happiness") | domainEnglishFormat.kif 13519-13519 |
| antecedent |
|
|
| (=> (and (instance ?C CausingHappiness) (patient ?C ?P)) (and (holdsDuring (BeginFn (WhenFn ?C)) (not (attribute ?P Happiness))) (holdsDuring (EndFn (WhenFn ?C)) (attribute ?P Happiness)))) |
Mid-level-ontology.kif 23208-23219 | |
| (=> (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 23229-23240 |
|
|
|