|
|
   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 12286-12288 | |
| (subclass TherapeuticProcess Repairing) | Merge.kif 12285-12285 | 治疗过程 是 修理 的 subclass |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domainSubclass diseaseTreatment 2 TherapeuticProcess) | Medicine.kif 5819-5819 | diseaseTreatment 的 2 数量 是 治疗过程 的 subclass |
| antecedent |
|
|
| (=> (and (instance ?PROC TherapeuticProcess) (patient ?PROC ?BIO)) (or (instance ?BIO Organism) (exists (?ORG) (and (instance ?ORG Organism) (part ?BIO ?ORG))))) |
Merge.kif 12290-12299 |
| consequent |
|
|
| (=> (and (instance ?A MedicalPerson) (attribute ?C ?A)) (hasPurpose ?C (exists (?TP) (and (instance ?TP TherapeuticProcess) (agent ?TP ?C))))) |
Medicine.kif 6338-6346 | |
| (=> (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 2642-2656 | |
| (=> (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 7186-7199 | |
| (=> (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 21063-21070 | |
| (=> (attribute ?H Pulmonologist) (exists (?P1 ?P2 ?PAT ?L) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (patient ?P1 ?PAT) (patient ?P2 ?PAT) (instance ?L Lung) (part ?L ?PAT) (located ?P1 Lung) (located ?P2 Lung)))) |
Medicine.kif 4481-4492 | |
| (=> (attribute ?PERSON RegisteredNurse) (hasExpertise ?PERSON TherapeuticProcess)) |
Biography.kif 571-573 |
|
| (=> (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 5684-5692 | |
| (=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (resource ?P ?M)))) |
Mid-level-ontology.kif 9266-9271 | |
| (=> (instance ?MD MedicalDevice) (hasPurpose ?MD (exists (?TP ?DP) (and (instance ?TP TherapeuticProcess) (instance ?DP DiagnosticProcess) (or (instrument ?TP ?MD) (instrument ?DP ?MD)))))) |
Medicine.kif 666-675 | |
| (=> (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) (and (instance ?DOC MedicalDoctor) (believes ?DOC (exists (?T ?H ?M) (and (instance ?M ?MC) (instance ?T TherapeuticProcess) (instance ?H Human) (patientMedical ?H ?DOC) (resource ?T ?M) (benefits ?T ?H))))))) |
Mid-level-ontology.kif 9679-9692 |
|
| (=> (patientMedical ?PATIENT ?DOCTOR) (exists (?PROCESS) (and (patient ?PROCESS ?PATIENT) (agent ?PROCESS ?DOCTOR) (or (instance ?PROCESS DiagnosticProcess) (instance ?PROCESS TherapeuticProcess))))) |
Mid-level-ontology.kif 5670-5678 |
|
|
|