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 | 子類 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 5699-5699 | 子類 按摩 and TherapeuticProcess |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5772-5772 | 子類 緩解疼痛 and TherapeuticProcess |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 12277-12277 | 子類 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 |