| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12255-12255 | Surgery is a subclass of therapeutic process |
| 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 4425-4425 | Septoplasty 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 4653-4653 | Seldane is a subclass of surgery |
|
|