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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - TherapeuticProcess
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 12390-12392
(subclass TherapeuticProcess Repairing) Merge.kif 12389-12389 治療経過 は 修理 の subclass では

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


(subclass Anesthetizing TherapeuticProcess) Medicine.kif 931-931 Anesthetizing は 治療経過 の subclass では
(subclass ApplyingTourniquet TherapeuticProcess) Medicine.kif 62-62 ApplyingTourniquet は 治療経過 の subclass では
(subclass CPR TherapeuticProcess) Medicine.kif 569-569 CPR は 治療経過 の subclass では
(subclass Defibrillation TherapeuticProcess) Medicine.kif 622-622 Defibrillation は 治療経過 の subclass では
(subclass IVTherapy TherapeuticProcess) Medicine.kif 1061-1061 IVTherapy は 治療経過 の subclass では
(subclass IntraosseousInfusion TherapeuticProcess) Medicine.kif 1162-1162 IntraosseousInfusion は 治療経過 の subclass では
(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 6637-6637 Massaging は 治療経過 の subclass では
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 6710-6710 RelievingPain は 治療経過 の subclass では
(subclass Surgery TherapeuticProcess) Merge.kif 12405-12405 手術 は 治療経過 の subclass では
(subclass Thoracentesis TherapeuticProcess) Medicine.kif 868-868 Thoracentesis は 治療経過 の subclass では
(subclass Vaccination TherapeuticProcess) WMD.kif 1066-1066 Vaccination は 治療経過 の subclass では
(termFormat ChineseLanguage TherapeuticProcess "治疗过程") chinese_format.kif 1158-1158 Vaccination は 治療経過 の subclass では
(termFormat EnglishLanguage TherapeuticProcess "therapeutic process") english_format.kif 1533-1533 Vaccination は 治療経過 の subclass では
(termFormat FrenchLanguage TherapeuticProcess "processus therapeutique") french_format.kif 836-836 Vaccination は 治療経過 の subclass では
(termFormat Hindi TherapeuticProcess "aarogyakara prakriyaa") terms-hindi.txt 368-368 Vaccination は 治療経過 の subclass では
(termFormat ItalianLanguage TherapeuticProcess "ProcessoTerapeutico") terms-it.txt 371-371 Vaccination は 治療経過 の subclass では
(termFormat JapaneseLanguage TherapeuticProcess "治療経過") japanese_format.kif 2520-2520 Vaccination は 治療経過 の subclass では
(termFormat PortugueseLanguage TherapeuticProcess "Processo Terapeutico") portuguese_format.kif 788-788 Vaccination は 治療経過 の subclass では
(termFormat cz TherapeuticProcess "therapeutic process") terms-cz.txt 407-407 Vaccination は 治療経過 の subclass では
(termFormat de TherapeuticProcess "therapeutischer Prozess") terms-de.txt 666-666 Vaccination は 治療経過 の subclass では
(termFormat ro TherapeuticProcess "proces terapeutic") relations-ro.kif 857-857 Vaccination は 治療経過 の subclass では
(termFormat tg TherapeuticProcess "paraan sa panggagamot") terms-tg.txt 372-372 Vaccination は 治療経過 の subclass では

appearance as argument number 3
-------------------------


(domainSubclass diseaseTreatment 2 TherapeuticProcess) Medicine.kif 5831-5831 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 12394-12403

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


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