TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11337-11337
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 11339-11339
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11338-11338	Involuntary muscle is made of heart
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11336-11336	Heart is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11335-11335	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 27774-27774
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27773-27773
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27772-27772

appearance as argument number 3

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

Mid-level-ontology.kif 10335-10335

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 6505-6529	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 1882-1891	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 1865-1875	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 11368-11385	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 10728-10740	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 2060-2070	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 2847-2855	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 2819-2827	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 10742-10751	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 11341-11348	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 11108-11118	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 3449-3460	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 1882-1891	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 1865-1875	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 275-283	If a hole is an instance of left atrium and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 291-299	If a hole is an instance of left ventricle and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 307-315	If a hole is an instance of right atrium and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 323-331	If a hole is an instance of right ventricle and the hole is a part of an object, then there exist the object and the objectEART such that the objectEART is equal to the host of the hole the hole and the objectEART is a part of the object and the objectEART is an instance of heart
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2072-2080	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 11247-11262	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 11157-11172	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 11125-11135	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 5732-5736	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 10721-10726	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 10420-10425	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.	Mid-level-ontology.kif 11402-11408	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 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

KB Term:			Term intersection

English Word: