Heart - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12686-12686
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 496-496
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 112-112
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12688-12688
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25358-25358	Instance of heart are always initially part of instances of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12687-12687	Involuntary muscle is made of heart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12685-12685	Heart is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12684-12684	Heart is a subclass of vital organ

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27802-27802
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27801-27801
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27800-27800

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 11682-11682

The number 1 argument of heart rate is an instance of heart

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6523-6547	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1875-1884	If an object is an instance of electrocardiogram and abnormal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is an attribute of the third object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1858-1868	If an object is an instance of electrocardiogram and normal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is not an attribute of the third object has the modal force of likely
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 12077-12089	If a process is an instance of heart beat and an entity is a patient of the process and the entity is an instance of heart, then there exist another process and a third process such that the other process is an instance of muscular contraction and the entity is a patient of the other process and the third process is an instance of muscle relaxing and the entity is a patient of the third process and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2057-2067	If a process is an instance of palpitations and an agent experiences the process and the agentEART is an instance of heart and the agentEART is a part of the agent, then there exists the processER such that the processER is an instance of perception and the agent experiences the processER and the agentEART is a patient of the processER
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2848-2856	If a process is an instance of Bradycardia and an agent experiences the process and a heart is an instance of heart and the heart is a part of the agent and a time interval is an instance of minute and the heart beats at a rate of an integer beats per the time interval, then 50 is greater than the integer
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2820-2828	If a process is an instance of tachyarrhythmia and an agent experiences the process and a heart is an instance of heart and the heart is a part of the agent and a time interval is an instance of minute and the heart beats at a rate of an integer beats per the time interval, then the integer is greater than 100
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 122-136	If the resting heart rate of a mammal is an integer and the mammalEART is an instance of heart and the mammalEART is a part of the mammal, then there exists a time interval such that there doesn't exist the integerEC such that the integerEC is an instance of recreation or exercise and the mammal is an agent of the integerEC and the time interval takes place during the time of existence of the integerEC and the time interval is an instance of minute and the mammal beats at a rate of the integer beats per the time interval
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

consequent

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.	Medicine.kif 3450-3461	If a process is an instance of electrocardiography and an entity is a patient of the process and an agent is an agent of the process and medical doctor is an attribute of the agent, then the process has the purpose the agent knows there exists another entity such that impaired body part fn heart is an attribute of the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1875-1884	If an object is an instance of electrocardiogram and abnormal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is an attribute of the third object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1858-1868	If an object is an instance of electrocardiogram and normal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is not an attribute of the third object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2069-2077	If a process is an instance of palpitations and an agent experiences the process, then there exists the agentEART such that the agentEART is an instance of heart and the agentEART is a part of the agent and the process is located at the agentEART
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12596-12611	If a self connected object is an instance of rib cage and the self connected object is a part of an object and the object is an instance of human and living is an attribute of the object and ~{ a physical is an instance of pathologic process } or ~{ the physical is located at the object }, then there exist the objectT and a third object such that the objectT is an instance of heart and the objectT is an instance of lung and the self connected object contains the third object and the self connected object contains the objectT
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 5743-5747	If cardiovascular disease is an attribute of an object, then impaired body part fn heart is an attribute of the object or impaired body part fn blood vessel is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12070-12075	If a process is an instance of heart beat, then there exists an entity such that the entity is a patient of the process and the entity is an instance of heart
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1682-1687	If a process is an instance of heart beating at faster rate, then there exists an entity such that the entity is an instance of heart and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11769-11774	If a physical is an instance of heart muscle, then there exists an object such that the object is an instance of heart and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 275-280	If a hole is an instance of left atrium, then there exists an object such that the object is equal to the host of the hole the hole and the object is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 288-293	If a hole is an instance of left ventricle, then there exists an object such that the object is equal to the host of the hole the hole and the object is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 301-306	If a hole is an instance of right atrium, then there exists an object such that the object is equal to the host of the hole the hole and the object is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 314-319	If a hole is an instance of right ventricle, then there exists an object such that the object is equal to the host of the hole the hole and the object is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12751-12757	If a physical is an instance of pericardial sac, then the physical has the purpose there exists an entity such that the entity is an instance of heart and the physical contains 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

KB Term:			Term intersection

English Word: