No TPTP formula. May not be expressible in strict first order. | Merge.kif 12255-12255 | 外科手术 是 治疗过程 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21056-21056 | 割礼 是 外科手术 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 742-742 | Cricothyroidotomy 是 外科手术 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4425-4425 | Septoplasty 是 外科手术 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4627-4627 | OrganTransplant 是 外科手术 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4653-4653 | Terfenadine 是 外科手术 的 subclass |