No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6172-6183 |
|
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6410-6410 |
Morphine 是 Analgesic 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6170-6170 |
Morphine 是 生物活性物质 的 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 6195-6195 |
Morphine 是 麻醉剂 的 subclass |