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