SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > TherapeuticProcess > Surgery
UpTherapeuticProcess

Surgery comparison table
Subject documentation is a kind of have axiom
TherapeuticProcessA Process that is carried out for the purpose of curing, improving or reducing the pain associated with a DiseaseOrSyndromeIntentionalProcess
(=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))
SurgeryAny TherapeuticProcess that involves making an incision in the Animal that is the patient of the TherapeuticProcessTherapeuticProcess
(=>
(and
(instance ?ACT Surgery)
(patient ?ACT ?ANIMAL))
(exists (?SUBACT)
(and
(instance ?SUBACT Cutting)
(instance ?ANIMAL Animal)
(patient ?ANIMAL ?CUTTING)
(subProcess ?SUBACT ?ACT))))

UpTherapeuticProcess