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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Surgery

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。") chinese_format.kif 3151-3152
(documentation Surgery EnglishLanguage "Any TherapeuticProcess that involves making an incision in the Animal that is the patient of the TherapeuticProcess.") Merge.kif 12256-12257
(externalImage Surgery "http://articulatesoftware.com/SUMOpictures/medical/ cartoons/ surgery.png") pictureList.kif 760-760
(subclass Surgery TherapeuticProcess) Merge.kif 12255-12255 Surgery is a subclass of therapeutic process

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


(subclass Circumision Surgery) Mid-level-ontology.kif 21056-21056 Circumision is a subclass of surgery
(subclass Cricothyroidotomy Surgery) Medicine.kif 742-742 Cricothyrotomy is a subclass of surgery
(subclass OrganTransplant Surgery) Medicine.kif 4627-4627 Transplant is a subclass of surgery
(subclass Septoplasty Surgery) Medicine.kif 4425-4425 Septoplasty is a subclass of surgery
(subclass Terfenadine Surgery) Medicine.kif 4653-4653 Seldane is a subclass of surgery
(termFormat ChineseLanguage Surgery "外科手术") chinese_format.kif 1159-1159
(termFormat EnglishLanguage Surgery "surgery") english_format.kif 1535-1535
(termFormat FrenchLanguage Surgery "chirurgie") french_format.kif 837-837
(termFormat Hindi Surgery "shalya chikitsaa") terms-hindi.txt 369-369
(termFormat ItalianLanguage Surgery "InterventoChirurgico") terms-it.txt 372-372
(termFormat JapaneseLanguage Surgery "手術") japanese_format.kif 2521-2521
(termFormat PortugueseLanguage Surgery "Cirurgia") portuguese_format.kif 789-789
(termFormat cb Surgery "pagpaopera") terms-cb.txt 374-374
(termFormat cz Surgery "surgery") terms-cz.txt 408-408
(termFormat ro Surgery "interventie chirurgicalã") relations-ro.kif 858-858
(termFormat tg Surgery "pag-oopera") terms-tg.txt 373-373

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 12259-12268


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners