Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

surgery (Surgery)

Any TherapeuticProcess that involves making an incision in the Animal that is the patient of the TherapeuticProcess.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  intentional process  
is subclass of
  repairing  
is subclass of
  therapeutic process  
is subclass of
  surgery  

Related WordNet synsets

operation, surgical operation, surgical procedure, surgery
a therapeutic procedure with instruments to repair damage or arrest disease in a living body; "they will schedule the operation as soon as an operating room is available"; "he died while undergoing surgery"
operation is kind of (all)...   operation is kind of...   kinds of operation...   kinds of operation (all)...   parts of operation...  
See more related synsets on a separate page.

Axioms (1)

If act is an instance of surgery and animal is a patient of act, then there exists cutting subact so that animal is an instance of animal and cutting is a patient of animal and subact is a subprocess of act. 
(=>
      (and
            (instance ?ACT Surgery)
            (patient ?ACT ?ANIMAL))
      (exists
            (?SUBACT)
            (and
                  (instance ?SUBACT Cutting)
                  (instance ?ANIMAL Animal)
                  (patient ?ANIMAL ?CUTTING)
                  (subProcess ?SUBACT ?ACT))))