Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Advent
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Anaphylaxis AllergicReaction) | Medicine.kif 1520-1520 | Anaphylaxis is a subclass of allergic reaction |
| (documentation Anaphylaxis EnglishLanguage "Anaphylaxis is a serious allergic reaction that is rapid in onset and may cause Death. It typically causes more than one of the following: an itchy SkinRash, Throat or Tongue swelling (Edema), shortness of Breath, Vomiting, lightheadedness, LowBloodPressure. These symptoms typically come on over minutes to hours.[from Wikipedia]") | Medicine.kif 1522-1527 | Anaphylaxis is a subclass of allergic reaction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Anaphylaxis "anaphylaxis") | Medicine.kif 1541-1541 | |
| (medicine Adrenaline Anaphylaxis) | Medicine.kif 6391-6391 | Epinephrine is medicine for anaphylaxis |
| antecedent |
|
|
| (=> (and (instance ?A Anaphylaxis) (experiencer ?A ?H)) (modalAttribute (exists (?D) (and (instance ?D Death) (experiencer ?D ?H) (causes ?A ?D))) Possibility)) |
Medicine.kif 1529-1539 | If X is an instance of anaphylaxis and Y experiences X, then the statement there exists Z such that Z is an instance of death, Y experiences Z, and X causes Z has the modal force of possibility |
| consequent |
|
|
| (=> (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 |
|