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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TherapeuticProcess

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 12099-12101
(subclass TherapeuticProcess Repairing) Merge.kif 12098-12098

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


(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 5660-5660
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 5733-5733
(subclass Surgery TherapeuticProcess) Merge.kif 12114-12114
(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

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


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

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 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 7119-7132
(=>
    (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 20818-20825
(=>
    (attribute ?PERSON RegisteredNurse)
    (hasExpertise ?PERSON TherapeuticProcess))
Biography.kif 339-341
(=>
    (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 5650-5658
(=>
    (instance ?M Medicine)
    (exists (?P)
        (and
            (instance ?P TherapeuticProcess)
            (instrument ?P ?M))))
Mid-level-ontology.kif 9208-9213
(=>
    (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)))))))
VirusProteinAndCellPart.kif 754-767
(=>
    (patientMedical ?PATIENT ?DOCTOR)
    (exists (?PROCESS)
        (and
            (patient ?PROCESS ?PATIENT)
            (agent ?PROCESS ?DOCTOR)
            (or
                (instance ?PROCESS DiagnosticProcess)
                (instance ?PROCESS TherapeuticProcess)))))
Mid-level-ontology.kif 5636-5644


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