TreeView Knowledge Base Browser - Blood

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 14900-14901
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12664-12664	Blood is equal to food for mosquito
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1665-1665
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14899-14899	Blood is a subclass of body substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21655-21655	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 10885-10885	Serum is disjoint from blood
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5761-5761	Deoxygenated blood is an instance of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10285-10285	Blood type a is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10304-10304	Blood typeA b is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10322-10322	Blood type b is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10341-10341	Blood type o is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10539-10539	Clot is a subclass of blood
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1012-1012
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1236-1236
No TPTP formula. May not be expressible in strict first order.	french_format.kif 689-689
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 21-21
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 23-23
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2373-2373
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 641-641
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 24-24
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 257-257
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 710-710
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 24-24

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 11135-11145	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 11168-11178	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 5775-5782	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 5766-5773	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 5752-5759	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 5743-5750	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 5850-5855	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 11184-11199	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 11152-11162	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 1152-1157	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 21422-21430	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 11395-11412	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 11942-11959	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 1947-1958	If suppliesBlood 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 5897-5912	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 491-503	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 10182-10187	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 10525-10537	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 10769-10778	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 11368-11375	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 10226-10233	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 5990-5995	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 11109-11116	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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