| 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 12375-12377 | |
| (subclass TherapeuticProcess Repairing) | Merge.kif 12374-12374 |
| appearance as argument number 2 |
|
|
| (subclass Anesthetizing TherapeuticProcess) | Medicine.kif 931-931 | |
| (subclass ApplyingTourniquet TherapeuticProcess) | Medicine.kif 62-62 | |
| (subclass CPR TherapeuticProcess) | Medicine.kif 569-569 | |
| (subclass Defibrillation TherapeuticProcess) | Medicine.kif 622-622 | |
| (subclass IVTherapy TherapeuticProcess) | Medicine.kif 1061-1061 | |
| (subclass IntraosseousInfusion TherapeuticProcess) | Medicine.kif 1162-1162 | |
| (subclass Massaging TherapeuticProcess) | Mid-level-ontology.kif 6637-6637 | |
| (subclass RelievingPain TherapeuticProcess) | Mid-level-ontology.kif 6710-6710 | |
| (subclass Surgery TherapeuticProcess) | Merge.kif 12390-12390 | |
| (subclass Thoracentesis TherapeuticProcess) | Medicine.kif 868-868 | |
| (subclass Vaccination TherapeuticProcess) | WMD.kif 1066-1066 | |
| (termFormat ChineseLanguage TherapeuticProcess "治疗过程") | chinese_format.kif 1158-1158 | |
| (termFormat EnglishLanguage TherapeuticProcess "therapeutic process") | english_format.kif 1533-1533 | |
| (termFormat FrenchLanguage TherapeuticProcess "processus therapeutique") | french_format.kif 836-836 | |
| (termFormat Hindi TherapeuticProcess "aarogyakara prakriyaa") | terms-hindi.txt 368-368 | |
| (termFormat ItalianLanguage TherapeuticProcess "ProcessoTerapeutico") | terms-it.txt 371-371 | |
| (termFormat JapaneseLanguage TherapeuticProcess "治療経過") | japanese_format.kif 2520-2520 | |
| (termFormat PortugueseLanguage TherapeuticProcess "Processo Terapeutico") | portuguese_format.kif 788-788 | |
| (termFormat cz TherapeuticProcess "therapeutic process") | terms-cz.txt 407-407 | |
| (termFormat de TherapeuticProcess "therapeutischer Prozess") | terms-de.txt 666-666 | |
| (termFormat ro TherapeuticProcess "proces terapeutic") | relations-ro.kif 857-857 | |
| (termFormat tg TherapeuticProcess "paraan sa panggagamot") | terms-tg.txt 372-372 |
| appearance as argument number 3 |
|
|
| (domainSubclass diseaseTreatment 2 TherapeuticProcess) | Medicine.kif 5831-5831 |
| antecedent |
|
|
| (=> (and (instance ?PROC TherapeuticProcess) (patient ?PROC ?BIO)) (or (instance ?BIO Organism) (exists (?ORG) (and (instance ?ORG Organism) (part ?BIO ?ORG))))) |
Merge.kif 12379-12388 |
| consequent |
|
|
| (=> (and (instance ?A MedicalPerson) (attribute ?C ?A)) (hasPurpose ?C (exists (?TP) (and (instance ?TP TherapeuticProcess) (agent ?TP ?C))))) |
Medicine.kif 6355-6363 | |
| (=> (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 2625-2639 | |
| (=> (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 8320-8333 | |
| (=> (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 22653-22660 | |
| (=> (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 4488-4499 | |
| (=> (attribute ?PERSON RegisteredNurse) (hasExpertise ?PERSON TherapeuticProcess)) |
Biography.kif 579-581 | |
| (=> (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 6627-6635 | |
| (=> (instance ?M Medicine) (exists (?P) (and (instance ?P TherapeuticProcess) (resource ?P ?M)))) |
Mid-level-ontology.kif 10568-10573 | |
| (=> (instance ?MD MedicalDevice) (hasPurpose ?MD (exists (?TP ?DP) (and (instance ?TP TherapeuticProcess) (instance ?DP DiagnosticProcess) (or (instrument ?TP ?MD) (instrument ?DP ?MD)))))) |
Medicine.kif 657-666 | |
| (=> (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 2292-2303 | |
| (=> (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 10981-10994 | |
| (=> (patientMedical ?PATIENT ?DOCTOR) (exists (?PROCESS) (and (patient ?PROCESS ?PATIENT) (agent ?PROCESS ?DOCTOR) (or (instance ?PROCESS DiagnosticProcess) (instance ?PROCESS TherapeuticProcess))))) |
Mid-level-ontology.kif 6613-6621 |
|
|
|