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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10489-10494
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10487-10487	Coagulation is a subclass of organ or tissue process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10488-10488	Coagulation is a subclass of state change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10495-10495
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10496-10496

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10498-10510	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10192-10197	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10517-10522	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
No TPTP formula. May not be expressible in strict first order.	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