Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Anticoagulant

Sigma KEE - Anticoagulant
Anticoagulant(blood thinner)

appearance as argument number 1
-------------------------


(documentation Anticoagulant EnglishLanguage "Anticoagulants, commonly known as Blood thinners, are chemical substances that prevent or reduce coagulation of blood, prolonging the Clotting time. Some of them occur naturally in blood-eating animals such as Leeches and Mosquitoes, where they help keep the bite area unclotted long enough for the animal to obtain some blood. As a class of medications, anticoagulants are used in therapy for thrombotic disorders. Oral anticoagulants (OACs) are taken by many people in pill or tablet form, and various intravenous anticoagulant dosage forms are used in HospitalOrganizations. Some anticoagulants are used in medical equipment, such as sample tubes, blood transfusion bags, heart-lung machines, and dialysis equipment. One of the first anticoagulants, Warfarin, was initially approved as a rodenticide. [from Wikipedia]") Medicine.kif 4836-4848
(subclass Anticoagulant Medicine) Medicine.kif 4835-4835 Blood thinner is a subclass of medicine

appearance as argument number 2
-------------------------


(subclass Warfarin Anticoagulant) Medicine.kif 4862-4862 Warfarin is a subclass of blood thinner
(termFormat EnglishLanguage Anticoagulant "anticoagulant") Medicine.kif 4850-4850
(termFormat EnglishLanguage Anticoagulant "blood thinner") Medicine.kif 4851-4851

antecedent
-------------------------


(=>
    (instance ?A Anticoagulant)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M Mammal)
                (experiencer ?M
                    (ImpairmentFn Clotting))))))
Medicine.kif 4853-4860


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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