| RecoveringFromIllness(recovering from illness) | | convalesce, convalescent, recover, recovering, recuperate |
| appearance as argument number 1 |
|
|
| (subclass RecoveringFromIllness OrganismProcess) | Mid-level-ontology.kif 7202-7202 | Recovering from illness is a subclass of organism process |
| (documentation RecoveringFromIllness EnglishLanguage "Any Process where the experiencer recovers from a DiseaseOrSyndrome.") | Mid-level-ontology.kif 7203-7204 | Recovering from illness is a subclass of organism process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RecoveringFromIllness "recovering from illness") | domainEnglishFormat.kif 48981-48981 | |
| (termFormat ChineseTraditionalLanguage RecoveringFromIllness "從疾病中恢復過來") | domainEnglishFormat.kif 48982-48982 | |
| (termFormat ChineseLanguage RecoveringFromIllness "从疾病中恢复过来") | domainEnglishFormat.kif 48983-48983 |
| antecedent |
|
|
| (=> (and (instance ?R RecoveringFromIllness) (experiencer ?R ?A)) (exists (?D) (and (instance ?D DiseaseOrSyndrome) (holdsDuring (BeginFn (WhenFn ?D)) (attribute ?A ?D)) (holdsDuring (EndFn (WhenFn ?D)) (not (attribute ?A ?D)))))) |
Mid-level-ontology.kif 7208-7221 | If X is an instance of recovering from illness and Y experiences X, then there exists Z such that Z is an instance of disease or syndrome, Z is an attribute of Y holds during the beginning of the time of existence of Z, and Z is not an attribute of Y holds during the end of the time of existence of Z |
|
|
|