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 12032-12033
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 12031-12031 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 20397-20397 Circumision 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12035-12044


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