| appearance as argument number 1 |
|
| (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 10488-10493 | |
| (subclass Clotting OrganOrTissueProcess) | Mid-level-ontology.kif 10486-10486 | 子類 Clotting and OrganOrTissueProcess |
| (subclass Clotting StateChange) | Mid-level-ontology.kif 10487-10487 | 子類 Clotting and StateChange |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Clotting "clotting") | Mid-level-ontology.kif 10494-10494 | |
| (termFormat EnglishLanguage Clotting "coagulation") | Mid-level-ontology.kif 10495-10495 |
| antecedent |
|
|
| (=> (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 10497-10509 | |
| (=> (instance ?C Clotting) (exists (?P) (and (instance ?P Platelet) (instrument ?C ?P)))) |
Mid-level-ontology.kif 10191-10196 |
| consequent |
|
|
| (=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting)))))) |
Medicine.kif 4853-4860 | |
| (=> (instance ?C Clot) (exists (?CL) (and (instance ?CL Clotting) (result ?CL ?C)))) |
Mid-level-ontology.kif 10516-10521 | |
| (=> (instance ?HG HemostaticGauze) (hasPurpose ?HG (exists (?HG) (and (instance ?C Clotting) (instrument ?C ?HG))))) |
Medicine.kif 6093-6099 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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