Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TherapeuticProcess
TherapeuticProcess(therapeutic process)AI, CPR, ECT, EMDA, G-Jo, HRT, Heimlich_maneuver, Heimlich_manoeuvere, acupressure, acupuncture, administer, administration, adrenergic_agonist_eyedrop, aesculapian, aid, allopathic, allopathy, anaesthetise, anaesthetize, analyse, analysis, analyze, anesthetise, anesthetize, anticoagulation, antipyresis, aromatherapy, arteriogram, arthrogram, artificial_insemination, artificial_respiration, assertiveness_training, audiogram, audiometer, autogenic_therapy, autogenic_training, autogenics, autoplastic, autoradiograph, aversion_therapy, bandage, behavior_modification, behavior_therapy, beta_blocker_eyedrop, birth_control, birth_prevention, bleed, block, booster, booster_dose...

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
-------------------------


(subclass Anesthetizing TherapeuticProcess) Medicine.kif 928-928 Anesthetizing is a subclass of therapeutic process
(subclass ApplyingTourniquet TherapeuticProcess) Medicine.kif 62-62 Applying a tourniquet is a subclass of therapeutic process
(subclass CPR TherapeuticProcess) Medicine.kif 567-567 Cardio pulmonary resuscitation is a subclass of therapeutic process
(subclass Defibrillation TherapeuticProcess) Medicine.kif 620-620 Defibrillation is a subclass of therapeutic process
(subclass IVTherapy TherapeuticProcess) Medicine.kif 1057-1057 IV Therapy is a subclass of therapeutic process
(subclass IntraosseousInfusion TherapeuticProcess) Medicine.kif 1158-1158 Intraosseous infusion is a subclass of therapeutic process
(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 6176-6176 Massaging is a subclass of therapeutic process
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 6249-6249 Relieving pain is a subclass of therapeutic process
(subclass Surgery TherapeuticProcess) Merge.kif 12326-12326 Surgery is a subclass of therapeutic process
(subclass Thoracentesis TherapeuticProcess) Medicine.kif 865-865 Needle decompression is a subclass of therapeutic process
(subclass Vaccination TherapeuticProcess) WMD.kif 1066-1066 Vaccination is a subclass of therapeutic process
(termFormat ChineseLanguage TherapeuticProcess "治疗过程") chinese_format.kif 1158-1158 Vaccination is a subclass of therapeutic process
(termFormat EnglishLanguage TherapeuticProcess "therapeutic process") english_format.kif 1533-1533 Vaccination is a subclass of therapeutic process
(termFormat FrenchLanguage TherapeuticProcess "processus therapeutique") french_format.kif 836-836 Vaccination is a subclass of therapeutic process
(termFormat Hindi TherapeuticProcess "aarogyakara prakriyaa") terms-hindi.txt 368-368 Vaccination is a subclass of therapeutic process
(termFormat ItalianLanguage TherapeuticProcess "ProcessoTerapeutico") terms-it.txt 371-371 Vaccination is a subclass of therapeutic process
(termFormat JapaneseLanguage TherapeuticProcess "治療経過") japanese_format.kif 2520-2520 Vaccination is a subclass of therapeutic process
(termFormat PortugueseLanguage TherapeuticProcess "Processo Terapeutico") portuguese_format.kif 788-788 Vaccination is a subclass of therapeutic process
(termFormat cz TherapeuticProcess "therapeutic process") terms-cz.txt 407-407 Vaccination is a subclass of therapeutic process
(termFormat de TherapeuticProcess "therapeutischer Prozess") terms-de.txt 666-666 Vaccination is a subclass of therapeutic process
(termFormat ro TherapeuticProcess "proces terapeutic") relations-ro.kif 857-857 Vaccination is a subclass of therapeutic process
(termFormat tg TherapeuticProcess "paraan sa panggagamot") terms-tg.txt 372-372 Vaccination is a subclass of therapeutic process

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
-------------------------


(=>
    (and
        (instance ?A MedicalPerson)
        (attribute ?C ?A))
    (hasPurpose ?C
        (exists (?TP)
            (and
                (instance ?TP TherapeuticProcess)
                (agent ?TP ?C)))))
Medicine.kif 6322-6330
(=>
    (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 2623-2637
(=>
    (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 7859-7872
(=>
    (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 21954-21961
(=>
    (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 4469-4480
(=>
    (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 6166-6174
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))
Mid-level-ontology.kif 10063-10068
(=>
    (instance ?MD MedicalDevice)
    (hasPurpose ?MD
        (exists (?TP ?DP)
            (and
                (instance ?TP TherapeuticProcess)
                (instance ?DP DiagnosticProcess)
                (or
                    (instrument ?TP ?MD)
                    (instrument ?DP ?MD))))))
Medicine.kif 654-663
(=>
    (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 10476-10489
(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))
Mid-level-ontology.kif 6152-6160


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners