| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12277-12277 | Chirurgie est une sous-classe de processus therapeutique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21055-21055 | Circumision est une sous-classe de chirurgie |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 742-742 | Cricothyroidotomy est une sous-classe de chirurgie |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4425-4425 | Septoplasty est une sous-classe de chirurgie |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4627-4627 | OrganTransplant est une sous-classe de chirurgie |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4653-4653 | Terfenadine est une sous-classe de chirurgie |
|
|