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。") Merge.kif 12173-12174
(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 12170-12172
(subclass TherapeuticProcess Repairing) Merge.kif 12169-12169 Therapeutic process is a subclass of repairing

appearance as argument number 2
-------------------------


(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 5939-5939 Massaging is a subclass of therapeutic process
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 5945-5945 Relieving pain is a subclass of therapeutic process
(subclass Surgery TherapeuticProcess) Merge.kif 12187-12187 Surgery is a subclass of therapeutic process
(termFormat ChineseLanguage TherapeuticProcess "治疗过程") chinese_format.kif 1158-1158 "治疗过程" is the printable form of therapeutic process in ChineseLanguage
(termFormat EnglishLanguage TherapeuticProcess "therapeutic process") english_format.kif 1551-1551 "therapeutic process" is the printable form of therapeutic process in english language
(termFormat JapaneseLanguage TherapeuticProcess "治療経過") english_format.kif 1552-1552 "治療経過" is the printable form of therapeutic process in japanese language

antecedent
-------------------------


(=>
    (and
        (instance ?PROC TherapeuticProcess)
        (patient ?PROC ?BIO))
    (or
        (instance ?BIO Organism)
        (exists (?ORG)
            (and
                (instance ?ORG Organism)
                (part ?BIO ?ORG)))))
Merge.kif 12176-12185

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 2558-2572
(=>
    (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 18715-18722
(=>
    (attribute ?PERSON RegisteredNurse)
    (hasExpertise ?PERSON TherapeuticProcess))
Biography.kif 333-335
(=>
    (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 5929-5937
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (instrument ?P ?M))))
Mid-level-ontology.kif 8960-8965
(=>
    (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 2222-2233
(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))
Mid-level-ontology.kif 5916-5924


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners