| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4481-4492 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21035-21042 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12261-12261 | 治疗过程 是 修理 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1066-1066 | Vaccination 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5699-5699 | 按摩 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5772-5772 | 缓解疼痛 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12277-12277 | 外科手术 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 62-62 | ApplyingTourniquet 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 579-579 | CPR 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 632-632 | Defibrillation 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 877-877 | Thoracentesis 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 940-940 | Anesthetizing 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1069-1069 | IVTherapy 是 治疗过程 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1170-1170 | IntraosseousInfusion 是 治疗过程 的 subclass |
|
|