No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6359-6359 |
Epinephrine is medicine for Analphylaxis |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9693-9693 |
Anti-depressant is medicine for depressed |
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1270-1270 |
Veklury is medicine for Covid |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3246-3246 |
Montelukast is medicine for asthma |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 3310-3310 |
Lisdexamfetamine is medicine for attention deficit hyperactivity disorder |