EpiPen
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6352-6355 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6351-6351 | 子類 EpiPen and TherapeuticDevice |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6356-6356 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6358-6358 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6357-6357 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6361-6368 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6378-6390 | |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6370-6376 |