|
|
   Fentanyl
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6196-6202 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6193-6193 | Fentanyl 是 生物活性物质 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6206-6206 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6204-6204 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6205-6205 | |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6203-6203 |
|
|
|