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

KB Term:  Term intersection
English Word: 

Sigma KEE - Surgery
Surgery(surgery)
CABG, LASEK, LASIK, PPP, TURP, UPPP, abdominoplasty, ablate, ablation, amputate, amygdalotomy, anaplasty, angioplasty, arthrodesis, arthroplasty, arthroscopy, autoplasty, brain_surgery, callosectomy, callosotomy, castration, cataract_surgery, catheterisation, catheterization, circumcise, circumcision, clitoridectomy, closed-heart_surgery, colostomy, corneal_graft, corneal_transplant, coronary_artery_bypass_graft, coronary_bypass, coronary_bypass_surgery, craniotomy, cut_off, cutting_out, cyclodestructive_surgery, debridement, decortication, electrosurgery, endarterectomy, enterostomy, enterotomy, enucleation, epikeratophakia, episiotomy, evisceration, excision, exenteration...

appearance as argument number 1
-------------------------


(subclass Surgery TherapeuticProcess) Merge.kif 12541-12541 Surgery is a subclass of therapeutic process
(documentation Surgery EnglishLanguage "Any TherapeuticProcess that involves making an incision in the Animal that is the patient of the TherapeuticProcess.") Merge.kif 12542-12543 Surgery is a subclass of therapeutic process
(externalImage Surgery "http://articulatesoftware.com/SUMOpictures/medical/ cartoons/ surgery.png") pictureList.kif 760-760 Surgery is a subclass of therapeutic process

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


(subclass Circumision Surgery) Mid-level-ontology.kif 23298-23298 Circumision is a subclass of surgery
(subclass Cricothyroidotomy Surgery) Medicine.kif 720-720 Cricothyrotomy is a subclass of surgery
(subclass Septoplasty Surgery) Medicine.kif 4446-4446 Septoplasty is a subclass of surgery
(subclass OrganTransplant Surgery) Medicine.kif 4648-4648 Transplant is a subclass of surgery
(subclass Terfenadine Surgery) Medicine.kif 4674-4674 Seldane is a subclass of surgery
(termFormat EnglishLanguage Surgery "surgery") english_format.kif 1539-1539 Seldane is a subclass of surgery

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


(=>
    (and
        (instance ?ACT Surgery)
        (patient ?ACT ?ANIMAL))
    (exists (?SUBACT)
        (and
            (instance ?SUBACT Cutting)
            (instance ?ANIMAL Animal)
            (patient ?SUBACT ?ANIMAL)
            (subProcess ?SUBACT ?ACT))))		 Merge.kif 12545-12554 If X is an instance of surgery and Y is a patient of X, then there exists Z such that Z is an instance of cutting, Y is an instance of animal, Y is a patient of Z, and Z is a subprocess of X
(=>
    (and
        (instance ?S Surgery)
        (patient ?S ?E)
        (instance ?E Eyeball)
        (part ?E ?H)
        (instance ?H Human))
    (modalAttribute
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?S))
            (attribute ?H MechanicalAnisocoria)) Possibility))		 emotion.kif 1086-1097 If X is an instance of surgery, Y is a patient of X, Y is an instance of eye ball, Y is a part of Z, and Z is an instance of human, then the statement mechanical anisocoria is an attribute of Z holds during immediately after the time of existence of X has the modal force of possibility


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners