appearance as argument number 1 |
![]() |
(documentation TherapeuticProcess ChineseLanguage "这是为了治疗、改善或舒缓和 DiseaseOrSyndrome 有关的痛楚而执行的 Process。") | chinese_format.kif 3149-3150 | |
(documentation TherapeuticProcess EnglishLanguage "A Process that is carried out for the purpose of curing, improving or reducing the pain associated with a DiseaseOrSyndrome.") | Merge.kif 12311-12313 | |
(subclass TherapeuticProcess Repairing) | Merge.kif 12310-12310 | Therapeutic process is a subclass of repairing |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domainSubclass diseaseTreatment 2 TherapeuticProcess) | Medicine.kif 5807-5807 | The number 2 argument of diseaseTreatment is a subclass of therapeutic process |
antecedent |
![]() |
(=> (and (instance ?PROC TherapeuticProcess) (patient ?PROC ?BIO)) (or (instance ?BIO Organism) (exists (?ORG) (and (instance ?ORG Organism) (part ?BIO ?ORG))))) |
Merge.kif 12315-12324 |
|
consequent |
![]() |
![]() |
![]() |