Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(documentation Surgery ChineseLanguage "任何涉及在 Animal 身上开刀的 TherapeuticProcess, 而动物就这是 TherapeuticProcesspatient。") Merge.kif 12190-12191
(documentation Surgery EnglishLanguage "Any TherapeuticProcess that involves making an incision in the Animal that is the patient of the TherapeuticProcess.") Merge.kif 12188-12189
(externalImage Surgery "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ medical/ cartoons/ surgery.png") pictureList.kif 760-760 "http://www.adampease.org/Articulate/SUMOpictures/pictures/ medical/ cartoons/ surgery.png" is a URL depicting surgery
(subclass Surgery TherapeuticProcess) Merge.kif 12187-12187 Surgery is a subclass of therapeutic process

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


(subclass Circumision Surgery) Mid-level-ontology.kif 18735-18735 Circumision is a subclass of surgery
(termFormat ChineseLanguage Surgery "外科手术") chinese_format.kif 1159-1159 "外科手术" is the printable form of surgery in ChineseLanguage
(termFormat EnglishLanguage Surgery "surgery") english_format.kif 846-846 "surgery" is the printable form of surgery in english language

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 12193-12202


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