| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9235-9235 | 子類 醫學 and BiologicallyActiveSubstance |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 1254-1254 | 子類 AntiViralMedicine and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9246-9246 | 子類 Pill and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9711-9711 | 子類 Antipsychotic and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9883-9883 | 子類 ProtonPumpInhibitor and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12262-12262 | 子類 激素TSH and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12416-12416 | 子類 AntiInflammatory and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1021-1021 | 子類 Anesthesia and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1041-1041 | 子類 TranexamicAcid and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3245-3245 | 子類 Singulair and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3264-3264 | 子類 Vyvanse and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3312-3312 | 子類 Antiseizure and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3349-3349 | 子類 Lamotrigine and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3605-3605 | 子類 Adalimumab and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3899-3899 | 子類 Sulfasalazine and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3966-3966 | 子類 Lisdexamfetamine and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4349-4349 | 子類 Crisaborole and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4595-4595 | 子類 Immunosuppressive and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4669-4669 | 子類 BetaBlocker and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4705-4705 | 子類 Desloratadine and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4744-4744 | 子類 Adderall and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4835-4835 | 子類 Anticoagulant and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4883-4883 | 子類 Ivabradine and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 4956-4956 | 子類 Nizatidine and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5076-5076 | 子類 Ondansetron and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 5537-5537 | 子類 Upadacitinib and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6194-6194 | 子類 Morphine and 醫學 |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6392-6392 | 子類 Analgesic and 醫學 |
|
|