| TherapeuticProcess(治疗过程) | |
| 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 12025-12027 | |
| (subclass TherapeuticProcess Repairing) | Merge.kif 12024-12024 | 治疗过程 是 修理 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass Massaging TherapeuticProcess) | Mid-level-ontology.kif 5407-5407 | 按摩 是 治疗过程 的 subclass |
| (subclass RelievingPain TherapeuticProcess) | Mid-level-ontology.kif 5480-5480 | 缓解疼痛 是 治疗过程 的 subclass |
| (subclass Surgery TherapeuticProcess) | Merge.kif 12040-12040 | 外科手术 是 治疗过程 的 subclass |
| (subclass Vaccination TherapeuticProcess) | WMD.kif 1060-1060 | Vaccination 是 治疗过程 的 subclass |
| (termFormat ChineseLanguage TherapeuticProcess "治疗过程") | chinese_format.kif 1158-1158 | |
| (termFormat EnglishLanguage TherapeuticProcess "therapeutic process") | english_format.kif 1533-1533 |
| antecedent |
|
|
| (=> (and (instance ?PROC TherapeuticProcess) (patient ?PROC ?BIO)) (or (instance ?BIO Organism) (exists (?ORG) (and (instance ?ORG Organism) (part ?BIO ?ORG))))) |
Merge.kif 12029-12038 |
| consequent |
|
|
| (=> (and (instance ?EV Evacuation) (experiencer ?EV ?P) (agent ?EV ?A)) (exists (?M ?MA) (and (instance ?M TherapeuticProcess) (subProcess ?M ?EV) (or (subOrganization ?MA ?A) (member ?MA ?A) (equal ?MA ?A)) (agent ?M ?MA) (experiencer ?M ?P)))) |
MilitaryProcesses.kif 2590-2604 | |
| (=> (and (instance ?I HealthInsuranceCompany) (customer ?I ?C)) (hasPurposeForAgent ?I (exists (?D ?P) (and (or (instance ?D DiagnosticProcess) (instance ?D TherapeuticProcess)) (experiencer ?D ?C) (instance ?P Payment) (agent ?P ?I) (refers ?P ?D))) ?C)) |
Mid-level-ontology.kif 6857-6870 | |
| (=> (attribute ?DOCTOR MedicalDoctor) (exists (?PROCESS1 ?PROCESS2) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (capability ?PROCESS1 agent ?DOCTOR) (capability ?PROCESS2 agent ?DOCTOR)))) |
Mid-level-ontology.kif 20440-20447 | |
| (=> (attribute ?PERSON RegisteredNurse) (hasExpertise ?PERSON TherapeuticProcess)) |
Biography.kif 339-341 |
|
| (=> (instance ?B Bandage) (hasPurpose ?B (exists (?TP ?C) (and (instance ?TP TherapeuticProcess) (instance ?C Covering) (subProcess ?C ?TP) (instrument ?C ?B))))) |
Mid-level-ontology.kif 5397-5405 | |
| (=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (instrument ?P ?M)))) |
Mid-level-ontology.kif 8897-8902 | |
| (=> (instance ?MS MedicalService) (exists (?AGENT ?HUMAN ?PROC) (and (agent ?MS ?AGENT) (employs ?AGENT ?HUMAN) (attribute ?HUMAN MedicalDoctor) (serviceProvider ?MS ?HUMAN) (or (instance ?PROC TherapeuticProcess) (instance ?PROC DiagnosticProcess)) (subProcess ?PROC ?MS)))) |
Hotel.kif 2281-2292 | |
| (=> (medicine ?MC ?D) (exists (?DOC) (believes ?DOC (exists (?T ?H) (and (instance ?M ?MC) (instance ?T TherapeuticProcess) (resource ?T ?M) (benefits ?T ?H)))))) |
VirusProteinAndCellPart.kif 754-763 | |
| (=> (patientMedical ?PATIENT ?DOCTOR) (exists (?PROCESS) (and (patient ?PROCESS ?PATIENT) (agent ?PROCESS ?DOCTOR) (or (instance ?PROCESS DiagnosticProcess) (instance ?PROCESS TherapeuticProcess))))) |
Mid-level-ontology.kif 5383-5391 |
|
|
|