RelievingPain
|
|
appearance as argument number 1 |
(documentation RelievingPain EnglishLanguage "Any TherapeuticProcess that removes Pain from the patient of the process.") | Mid-level-ontology.kif 5773-5774 | |
(subclass RelievingPain TherapeuticProcess) | Mid-level-ontology.kif 5772-5772 | 缓解疼痛 是 治疗过程 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage RelievingPain "缓解疼痛") | domainEnglishFormat.kif 49382-49382 | |
(termFormat ChineseTraditionalLanguage RelievingPain "緩解疼痛") | domainEnglishFormat.kif 49381-49381 | |
(termFormat EnglishLanguage RelievingPain "relieving pain") | domainEnglishFormat.kif 49380-49380 |
antecedent |
(=> (and (instance ?R RelievingPain) (patient ?R ?H)) (and (exists (?P1) (and (overlapsTemporally (WhenFn ?P1) (ImmediatePastFn (WhenFn ?R))) (instance ?P1 Pain) (located ?P1 ?H))) (not (exists (?P2) (and (overlapsTemporally (WhenFn ?P2) (ImmediateFutureFn (WhenFn ?R))) (instance ?P2 Pain) (located ?P2 ?H)))))) |
Mid-level-ontology.kif 5778-5797 |