| Adrenaline(epinephrine) | | Adrenalin, adrenaline, epinephrin, epinephrine |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6377-6377 | Epinephrine is medicine for Analphylaxis |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13649-13649 | Epinephrine is a subclass of hormone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13652-13652 | Epinephrine is a secretes substance of adrenal gland |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13650-13650 | Epinephrine is a secretes substance of adrenal gland |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13651-13651 | Epinephrine is a secretes substance of adrenal gland |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6379-6386 |
|
|
|
|