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 e' uma sub-classe de Analgesic |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6170-6170 |
Morphine e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6194-6194 |
Morphine e' uma sub-classe de Medicine |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6195-6195 |
Morphine e' uma sub-classe de Narcotic |