Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   TranexamicAcid
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TranexamicAcid Medicine) | Medicine.kif 1022-1022 | Tranexamic acid is a subclass of medicine |
| (documentation TranexamicAcid EnglishLanguage "Tranexamic acid (TXA) is a medication used to treat or prevent excessive Blood loss from major trauma, postpartum Bleeding, Surgery, Tooth removal, nosebleeds, and heavy menstruation. It is also used for hereditary angioedema. It is taken either orally or by injection into a Vein. It serves as an antifibrinolytic. Antifibrinolytics are a class of medication that are inhibitors of fibrinolysis. Fibrinolysis is a process that prevents blood clots from growing and becoming problematic. Tranexamic acid is a synthetic analog of the amino acid lysine. [from Wikipedia]") | Medicine.kif 1023-1028 | Tranexamic acid is a subclass of medicine |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TranexamicAcid "tranexamic acid") | Medicine.kif 1029-1029 |
| antecedent |
|
|
| (=> (instance ?TA TranexamicAcid) (hasPurpose ?TA (exists (?P) (and (instance ?P Human) (decreasesLikelihood (exists (?I) (and (instance ?I Ingesting) (objectTransferred ?I ?TA) (destination ?I ?P))) (exists (?P ?B) (and (instance ?P Human) (instance ?B Bleeding) (origin ?B ?P)))))))) |
Medicine.kif 1031-1047 | If X is an instance of tranexamic acid, then All of the following hold: (1) X has the purpose there exists Y such that Y is an instance of human (2) there exists Z such that Z is an instance of ingesting (3) the object transferred in Z is X (4) Z ends up at Y decreases likelihood of there exist Y (5) W such that Y is an instance of human (6) W is an instance of bleeding (7) W originates at Y |
|