Blood - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Blood

Blood(blood)

arterial_blood, blood, blood_clot, blood_group, blood_stream, blood_type, bloodstream, bloody, clot, coagulum, cord_blood, gore, grume, lifeblood, menorrhea, menstrual_blood, menstrual_flow, venous_blood, whole_blood

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3480-3481
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14992-14993
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13986-13986	Blood is equal to food for mosquito
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1664-1664	Blood is equal to food for mosquito
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14991-14991	Blood is a subclass of body substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23262-23262	Blood is a subclass of sol mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12207-12207	Serum is disjoint from blood
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5772-5772	Deoxygenated blood is an instance of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11605-11605	Blood type A is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11624-11624	Blood type AB is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11642-11642	Blood type b is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11661-11661	Blood type o is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11861-11861	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1012-1012	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1236-1236	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	french_format.kif 689-689	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 21-21	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 23-23	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2373-2373	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 641-641	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 24-24	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 257-257	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 516-516	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 710-710	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 24-24	Clot is a subclass of blood

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and male is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 13
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12457-12467	If an object is an instance of artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another object such that the other object is an instance of heart and the process originates at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12490-12500	If an object is an instance of pulmonary artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another entity such that the other entity is an instance of lung and the process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5786-5793	If a mixture is an instance of blood and deoxygenated blood is an attribute of the mixture and the concentration of carbon dioxide in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 4
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5777-5784	If a mixture is an instance of blood and deoxygenated blood is an attribute of the mixture and the concentration of oxygen in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 14
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5763-5770	If a mixture is an instance of blood and oxygenated blood is an attribute of the mixture and the concentration of carbon dioxide in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 5
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5754-5761	If a mixture is an instance of blood and oxygenated blood is an attribute of the mixture and the concentration of oxygen in the mixture is a real number Milliliter(s) per 100 Milliliter(s), then the approximate value of the real number is 20
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5862-5867	If an object is an instance of blood and another object is an instance of Hartmann's solution and the tonicity of the other object with respect to the object is a real number pascal(s), then the approximate value of the real number is 0.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12506-12521	If an object is an instance of pulmonary vein and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exist another object, a third object and a fourth object such that the other object is an instance of lung and the process originates at the other object and the object is a part of the fourth object and the other object is a part of the fourth object and the third object is a part of the fourth object and the third object is an instance of heart and the process ends up at the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12474-12484	If an object is an instance of vein and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another entity such that the other entity is an instance of heart and the process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	If anaemia is not an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is greater than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	If anaemia is not an attribute of an object and another object is an instance of blood and the other object is a part of the object and male is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is greater than 13
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1144-1149	If an object is an instance of blood, then there exists the objectP such that the objectP is an instance of blood plasma and the objectP is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23029-23037	If a process is an instance of bleeding and an agent experiences the process, then there exists an entity such that the entity is an instance of blood and the entity is a part of the agent holds during the beginning of the time of existence of the process and the entity is not a part of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12717-12734	If a physical is an instance of myocardial infarction and an object is an instance of heart and the physical is located at the object, then there exists another object such that the other object is an instance of muscle and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13264-13281	If a physical is an instance of stroke and an object is an instance of brain and the physical is located at the object, then there exists another object such that the other object is an instance of nerve cell and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1988-1999	If supplies blood a kind of artery and a kind of body part and a physical is an instance of a kind of artery and an entity is an instance of a kind of body part, then the physical has the purpose there exist another entity and a third entity such that the other entity is an instance of liquid motion and the object transferred in the other entity is the third entity and the third entity is an instance of blood and the other entity ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5915-5929	If a human has a volume measure of blood, then there exists a substance such that the substance is an instance of blood and the human contains the substance and the human is an instance of human and the measure of the substance is the volume measure and there doesn't exist the substance2 such that the substance2 is an instance of blood and the human contains the substance2 and the substance2 is not a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 480-492	If a motion is an instance of blood circulation, then there exist an object, another object,, , a third object and a fourth object such that the object is an instance of animal and the fourth object is an instance of blood and the fourth object moves during the motion and the third object is an instance of artery and the other object is an instance of vein and the third object is a part of the object and the other object is a part of the object and the third object is path along which the motion occurs and the other object is path along which the motion occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11502-11507	If an object is an instance of blood cell, then there exists another object such that the other object is an instance of blood and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11847-11859	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 12091-12100	If a physical is an instance of heart, then the physical has the purpose there exist an entity, the physicalB and a third entity such that the physicalB is an instance of heart beat and the entity is an instance of liquid motion and the third entity is an instance of blood and the third entity moves during the entity and the physicalB causes the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12690-12697	If an object is an instance of heart, then there exist a process and an entity such that the process is an instance of transfer and the entity is an instance of blood and the object is an instrument for the process and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11546-11553	If an object is an instance of thrombocyte, then there exist another object and a third object such that the other object is an instance of blood and the third object is an instance of mammal and the other object is a part of the third object and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6007-6012	If a transfer is an instance of transfusion, then there exists an object such that the object is an instance of blood and the object transferred in the transfer is the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12431-12438	If an object is an instance of blood vessel, then there exist an entity and a process such that the entity is an instance of blood and the process is an instance of transfer and the entity is a patient of the process and the object is an instrument for the process

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