| 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 10740-10745 | |
| (subclass Clotting OrganOrTissueProcess) | Mid-level-ontology.kif 10738-10738 | |
| (subclass Clotting StateChange) | Mid-level-ontology.kif 10739-10739 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Clotting "clotting") | Mid-level-ontology.kif 10746-10746 | |
| (termFormat EnglishLanguage Clotting "coagulation") | Mid-level-ontology.kif 10747-10747 |
| 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 10749-10761 | |
| (=> (instance ?C Clotting) (exists (?P) (and (instance ?P Platelet) (instrument ?C ?P)))) |
Mid-level-ontology.kif 10443-10448 |
| consequent |
|
|
| (=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting)))))) |
Medicine.kif 4841-4848 | |
| (=> (instance ?C Clot) (exists (?CL) (and (instance ?CL Clotting) (result ?CL ?C)))) |
Mid-level-ontology.kif 10768-10773 | |
| (=> (instance ?HG HemostaticGauze) (hasPurpose ?HG (exists (?HG) (and (instance ?C Clotting) (instrument ?C ?HG))))) |
Medicine.kif 6079-6085 |
|
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