Anticoagulant - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Anticoagulant Medicine)	Medicine.kif 4856-4856	Blood thinner is a subclass of medicine
(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 4857-4869	Blood thinner is a subclass of medicine

appearance as argument number 2

(termFormat EnglishLanguage Anticoagulant "anticoagulant")	Medicine.kif 4871-4871
(termFormat EnglishLanguage Anticoagulant "blood thinner")	Medicine.kif 4872-4872
(subclass Warfarin Anticoagulant)	Medicine.kif 4883-4883	Warfarin is a subclass of blood thinner

antecedent

(=>
    (instance ?A Anticoagulant)
    (hasPurpose ?A
        (exists (?M)
            (and
                (instance ?M Mammal)
                (experiencer ?M
                    (ImpairmentFn Clotting))))))

If X is an instance of blood thinner, then X has the purpose there exists Y such that Y is an instance of mammal and impairment in coagulation experiences Y