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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3151-3152
No TPTP formula. May not be expressible in strict first order. Merge.kif 12256-12257
No TPTP formula. May not be expressible in strict first order. pictureList.kif 760-760
No TPTP formula. May not be expressible in strict first order. Merge.kif 12255-12255 Surgery is a subclass of therapeutic process

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21056-21056 Circumision is a subclass of surgery
No TPTP formula. May not be expressible in strict first order. Medicine.kif 742-742 Cricothyrotomy is a subclass of surgery
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4627-4627 Transplant is a subclass of surgery
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4425-4425 Septoplasty is a subclass of surgery
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4653-4653 Seldane is a subclass of surgery
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1159-1159
No TPTP formula. May not be expressible in strict first order. english_format.kif 1535-1535
No TPTP formula. May not be expressible in strict first order. french_format.kif 837-837
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 369-369
No TPTP formula. May not be expressible in strict first order. terms-it.txt 372-372
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2521-2521
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 789-789
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 374-374
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 408-408
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 858-858
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 373-373

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


No TPTP formula. May not be expressible in strict first order. 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