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 4744-4744 |
Adderall 是 医学 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6392-6392 |
Analgesic 是 医学 的 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. |
Mid-level-ontology.kif 12416-12416 |
AntiInflammatory 是 医学 的 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. |
Medicine.kif 4835-4835 |
Anticoagulant 是 医学 的 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. |
Medicine.kif 3312-3312 |
Antiseizure 是 医学 的 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 4349-4349 |
Crisaborole 是 医学 的 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 4595-4595 |
Immunosuppressive 是 医学 的 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 3349-3349 |
Lamotrigine 是 医学 的 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 6194-6194 |
Morphine 是 医学 的 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. |
Mid-level-ontology.kif 9246-9246 |
Pill 是 医学 的 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. |
Medicine.kif 3245-3245 |
Singulair 是 医学 的 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. |
Mid-level-ontology.kif 12262-12262 |
激素TSH 是 医学 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1041-1041 |
TranexamicAcid 是 医学 的 subclass |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |