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 est une sous-classe de Analgesic |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6170-6170 |
Morphine est une sous-classe de substance biologique active |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6194-6194 |
Morphine est une sous-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6195-6195 |
Morphine est une sous-classe de Narcotic |