No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3488-3488 | NSAID 是 AntiInflammatory 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6408-6408 | NSAID 是 Analgesic 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3495-3495 | Aspirin 是 NSAID 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3498-3498 | Ibuprofen 是 NSAID 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3501-3501 | Acetaminophen 是 NSAID 的 subclass |