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 10707-10712
(subclass Clotting OrganOrTissueProcess)	Mid-level-ontology.kif 10705-10705	Coagulation is a subclass of organ or tissue process
(subclass Clotting StateChange)	Mid-level-ontology.kif 10706-10706	Coagulation is a subclass of state change

appearance as argument number 2

(termFormat EnglishLanguage Clotting "clotting")	Mid-level-ontology.kif 10713-10713
(termFormat EnglishLanguage Clotting "coagulation")	Mid-level-ontology.kif 10714-10714

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 10716-10728	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 10410-10415	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 4853-4860	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 10735-10740	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 6093-6099	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