Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Clotting(coagulation) |
| appearance as argument number 1 |
|
| (subclass Clotting OrganOrTissueProcess) | Mid-level-ontology.kif 11940-11940 | Coagulation is a subclass of organ or tissue process |
| (subclass Clotting StateChange) | Mid-level-ontology.kif 11941-11941 | Coagulation is a subclass of state change |
| (documentation Clotting EnglishLanguage "Coagulation, also known as clotting, is the process by which blood changes from a liquid to a gel, forming a blood clot. It potentially results in hemostasis, the cessation of blood loss from a damaged vessel, followed by repair. The mechanism of coagulation involves activation, adhesion and aggregation of platelets, as well as deposition and maturation of fibrin. ") | Mid-level-ontology.kif 11942-11947 | Coagulation is a subclass of state change |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Clotting "clotting") | Mid-level-ontology.kif 11948-11948 | |
| (termFormat EnglishLanguage Clotting "coagulation") | Mid-level-ontology.kif 11949-11949 |
| antecedent |
|
|
| (=> (instance ?C Clotting) (exists (?P) (and (instance ?P Platelet) (instrument ?C ?P)))) |
Mid-level-ontology.kif 11643-11648 | If X is an instance of coagulation, then there exists Y such that Y is an instance of thrombocyte and Y is an instrument for X |
| (=> (instance ?C Clotting) (exists (?B) (and (instance ?B Blood) (holdsDuring (ImmediatePastFn (WhenFn ?C)) (attribute ?B Liquid)) (holdsDuring (ImmediateFutureFn (WhenFn ?C)) (attribute ?B Solid))))) |
Mid-level-ontology.kif 11951-11963 | If X is an instance of coagulation, then there exists Y such that Y is an instance of blood, liquid is an attribute of Y holds during immediately before the time of existence of X, and solid is an attribute of Y holds during immediately after the time of existence of X |
| consequent |
|
|
| (=> (instance ?C Clot) (exists (?CL) (and (instance ?CL Clotting) (result ?CL ?C)))) |
Mid-level-ontology.kif 11970-11975 | If X is an instance of clot, then there exists Y such that Y is an instance of coagulation and X is a result of Y |
| (=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting)))))) |
Medicine.kif 4874-4881 | 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 |
| (=> (instance ?HG HemostaticGauze) (hasPurpose ?HG (exists (?C) (and (instance ?C Clotting) (instrument ?C ?HG))))) |
Medicine.kif 6124-6130 | If X is an instance of hemostatic gauze, then X has the purpose there exists Y such that Y is an instance of coagulation and X is an instrument for Y |
|