| appearance as argument number 1 |
|
| (documentation EpiPen EnglishLanguage "An epinephrine autoinjector (or Adrenaline autoinjector, also known by the trademark EpiPen) is a MedicalDevice for Injecting a measured dose or doses of epinephrine (adrenaline) by means of autoinjector technology. It is most often used for the treatment of Anaphylaxis. [from Wikipedia]") | Medicine.kif 6352-6355 | |
| (subclass EpiPen TherapeuticDevice) | Medicine.kif 6351-6351 | EpiPen est une sous-classe de TherapeuticDevice |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EpiPen "EpiPen") | Medicine.kif 6356-6356 | |
| (termFormat EnglishLanguage EpiPen "adrenaline autoinjector") | Medicine.kif 6358-6358 | |
| (termFormat EnglishLanguage EpiPen "epinephrine autoinjector") | Medicine.kif 6357-6357 |
| antecedent |
|
|
| (=> (instance ?EP EpiPen) (exists (?N ?A) (and (instance ?N Needle) (part ?N ?EP) (instance ?A Adrenaline) (part ?A ?EP)))) |
Medicine.kif 6361-6368 | |
| (=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I ?H ?A) (and (instance ?I Injecting) (instrument ?I ?EP) (destination ?I ?H) (experiencer ?A ?H) (instance ?A Anaphylaxis) (during (WhenFn ?I) (WhenFn ?A)))))) |
Medicine.kif 6378-6390 |
|
| (=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I) (and (instance ?I Injecting) (instrument ?I ?EP))))) |
Medicine.kif 6370-6376 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners