| 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 21036-21043 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12239-12239 | 子類 TherapeuticProcess and Repairing |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1066-1066 | 子類 Vaccination and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5700-5700 | 子類 按摩 and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5773-5773 | 子類 緩解疼痛 and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12255-12255 | 子類 Surgery and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 62-62 | 子類 ApplyingTourniquet and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 579-579 | 子類 CPR and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 632-632 | 子類 Defibrillation and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 877-877 | 子類 Thoracentesis and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 940-940 | 子類 Anesthetizing and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1069-1069 | 子類 IVTherapy and TherapeuticProcess |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1170-1170 | 子類 IntraosseousInfusion and TherapeuticProcess |
|
|