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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TherapeuticProcess
TherapeuticProcess

VerbNet: contribute-13.2|administer, assessment-34.1|analyse, assessment-34.1|analyse, fill-9.8|bandage, substance_emission-43.4|bleed, cheat-10.6|cure, cheat-10.6|cure, contribute-13.2|administer, captain-29.8|doctor, butter-9.9|drug, butter-9.9|drug, give-13.1|give, cheat-10.6|cure, bulge-47.5.3|hyperventilate, fill-9.8|inject, remedy-45.7|iodize, remedy-45.7|iodize, touch-20|massage, substance_emission-43.4|bleed, shake-22.3|ligate, touch-20|massage, entity_specific_cos-45.5|suppurate, captain-29.8|nurse, substance_emission-43.4|bleed, substance_emission-43.4|bleed, spray-9.7|plaster, spray-9.7|plaster, assessment-34.1|analyse, assessment-34.1|analyse, wipe_manner-10.4.1|purge, amuse-31.1|revitalize, amuse-31.1|revitalize, touch-20|massage, butter-9.9|salve, fill-9.8|inject, entity_specific_cos-45.5|suppurate,


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 11252-11254
(subclass TherapeuticProcess Repairing) Merge.kif 11251-11251 subclass TherapeuticProcess and Repairing

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


(subclass Massaging TherapeuticProcess) Mid-level-ontology.kif 5939-5939 subclass Massaging and TherapeuticProcess
(subclass RelievingPain TherapeuticProcess) Mid-level-ontology.kif 5945-5945 subclass RelievingPain and TherapeuticProcess
(subclass Surgery TherapeuticProcess) Merge.kif 11267-11267 subclass Surgery and TherapeuticProcess
(termFormat ChineseLanguage TherapeuticProcess "治疗过程") chinese_format.kif 1158-1158 termFormat ChineseLanguage, TherapeuticProcess and "治疗过程"
(termFormat EnglishLanguage TherapeuticProcess "therapeutic process") english_format.kif 1538-1538 termFormat EnglishLanguage, TherapeuticProcess and "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 11256-11265

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 2571-2585
(=>
    (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 18716-18723
(=>
    (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 8962-8967
(=>
    (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 2227-2238
(=>
    (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