Clotting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Clotting

Clotting(coagulation)

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 11385-11390
(subclass Clotting OrganOrTissueProcess)	Mid-level-ontology.kif 11383-11383	Coagulation is a subclass of organ or tissue process
(subclass Clotting StateChange)	Mid-level-ontology.kif 11384-11384	Coagulation is a subclass of state change

appearance as argument number 2

(termFormat EnglishLanguage Clotting "clotting")	Mid-level-ontology.kif 11391-11391
(termFormat EnglishLanguage Clotting "coagulation")	Mid-level-ontology.kif 11392-11392

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 11394-11406	If a physical is an instance of coagulation, then there exists an entity such that the entity is an instance of blood and liquid is an attribute of the entity holds during immediately before the time of existence of the physical and solid is an attribute of the entity holds during immediately after the time of existence of the physical
(=> (instance ?C Clotting) (exists (?P) (and (instance ?P Platelet) (instrument ?C ?P))))	Mid-level-ontology.kif 11088-11093	If a process is an instance of coagulation, then there exists an object such that the object is an instance of thrombocyte and the object is an instrument for the process

consequent

(=> (instance ?A Anticoagulant) (hasPurpose ?A (exists (?M) (and (instance ?M Mammal) (experiencer ?M (ImpairmentFn Clotting))))))	Medicine.kif 4841-4848	If a physical is an instance of blood thinner, then the physical has the purpose there exists an entity such that the entity is an instance of mammal and impairment in coagulation experiences the entity
(=> (instance ?C Clot) (exists (?CL) (and (instance ?CL Clotting) (result ?CL ?C))))	Mid-level-ontology.kif 11413-11418	If an entity is an instance of clot, then there exists the entityL such that the entityL is an instance of coagulation and the entity is a result of the entityL
(=> (instance ?HG HemostaticGauze) (hasPurpose ?HG (exists (?HG) (and (instance ?C Clotting) (instrument ?C ?HG)))))	Medicine.kif 6079-6085	If a physical is an instance of hemostatic gauze, then the physical has the purpose there exists the physical such that an entity is an instance of coagulation and the physical is an instrument for the entity

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