Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EpiPen(adrenaline autoinjector) |
| appearance as argument number 1 |
|
| (subclass EpiPen TherapeuticDevice) | Medicine.kif 6383-6383 | Adrenaline autoinjector is a subclass of TherapeuticDevice |
| (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 6384-6387 | Adrenaline autoinjector is a subclass of TherapeuticDevice |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage EpiPen "EpiPen") | Medicine.kif 6388-6388 | |
| (termFormat EnglishLanguage EpiPen "epinephrine autoinjector") | Medicine.kif 6389-6389 | |
| (termFormat EnglishLanguage EpiPen "adrenaline autoinjector") | Medicine.kif 6390-6390 |
| antecedent |
|
|
| (=> (instance ?EP EpiPen) (exists (?N ?A) (and (instance ?N Needle) (part ?N ?EP) (instance ?A Adrenaline) (part ?A ?EP)))) |
Medicine.kif 6393-6400 | If X is an instance of adrenaline autoinjector, then there exist Y, Z such that Y is an instance of needle, Y is a part of X, Z is an instance of epinephrine, and Z is a part of X |
| (=> (instance ?EP EpiPen) (hasPurpose ?EP (exists (?I) (and (instance ?I Injecting) (instrument ?I ?EP))))) |
Medicine.kif 6402-6408 | If X is an instance of adrenaline autoinjector, then X has the purpose there exists Y such that Y is an instance of injecting and X is an instrument for Y |
| (=> (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 6410-6422 | If X is an instance of adrenaline autoinjector, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of injecting (3) X is an instrument for Y (4) Y ends up at Z (5) Z experiences W (6) W is an instance of anaphylaxis (7) the time of existence of Y takes place during the time of existence of W |
|