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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TherapeuticProcess

Sigma KEE - TherapeuticProcess
TherapeuticProcess(processus therapeutique)

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 12240-12242
(subclass TherapeuticProcess Repairing) Merge.kif 12239-12239 Processus therapeutique est une sous-classe de r�parer

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


(subclass Anesthetizing TherapeuticProcess) Medicine.kif 940-940 Anesthetizing est une sous-classe de processus therapeutique
(subclass ApplyingTourniquet TherapeuticProcess) Medicine.kif 62-62 ApplyingTourniquet est une sous-classe de processus therapeutique
(subclass CPR TherapeuticProcess) Medicine.kif 579-579 CPR est une sous-classe de processus therapeutique
(subclass Defibrillation TherapeuticProcess) Medicine.kif 632-632 Defibrillation est une sous-classe de processus therapeutique
(subclass IVTherapy TherapeuticProcess) Medicine.kif 1069-1069 IVTherapy est une sous-classe de processus therapeutique
(subclass IntraosseousInfusion TherapeuticProcess) Medicine.kif 1170-1170 IntraosseousInfusion est une sous-classe de processus therapeutique
(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 5700-5700 Massaging est une sous-classe de processus therapeutique
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 5773-5773 RelievingPain est une sous-classe de processus therapeutique
(subclass Surgery TherapeuticProcess) Merge.kif 12255-12255 Chirurgie est une sous-classe de processus therapeutique
(subclass Thoracentesis TherapeuticProcess) Medicine.kif 877-877 Thoracentesis est une sous-classe de processus therapeutique
(subclass Vaccination TherapeuticProcess) WMD.kif 1066-1066 Vaccination est une sous-classe de processus therapeutique
(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 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 5819-5819 Le nombre 2 argument de diseaseTreatment est une sous-classe de processus therapeutique

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


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

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 2591-2605
(=>
    (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 7159-7172
(=>
    (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 21036-21043
(=>
    (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 5690-5698
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (resource ?P ?M))))
Mid-level-ontology.kif 9239-9244
(=>
    (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 9652-9665
(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))
Mid-level-ontology.kif 5676-5684


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

Show without tree


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