Heart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Heart

Heart(heart)

heart, pump, ticker

appearance as argument number 1

(documentation Heart EnglishLanguage "The Organ that pumps Blood throughout the body.")	Mid-level-ontology.kif 11555-11555
(externalImage Heart "http://articulatesoftware.com/SUMOpictures/holiday/ valentines/ heart.png")	pictureList.kif 496-496
(externalImage Heart "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Heart_diastole.png")	pictureList.kif 112-112
(externalImage Heart "https://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e5/ Diagram_of_the_human_heart_%28cropped%29.svg/ 800px-Diagram_of_the_human_heart_%28cropped%29.svg.png")	Mid-level-ontology.kif 11557-11557
(initiallyContainsPart Heart Human)	Mid-level-ontology.kif 23981-23981	Instance of heart are always initially part of instances of human
(material Heart InvoluntaryMuscle)	Mid-level-ontology.kif 11556-11556	Involuntary muscle is made of heart
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 11554-11554	Heart is a subclass of animal anatomical structure
(subclass Heart VitalOrgan)	Mid-level-ontology.kif 11553-11553	Heart is a subclass of vital organ

appearance as argument number 2

(termFormat ChineseLanguage Heart "心")	domainEnglishFormat.kif 27808-27808
(termFormat ChineseTraditionalLanguage Heart "心")	domainEnglishFormat.kif 27807-27807
(termFormat EnglishLanguage Heart "heart")	domainEnglishFormat.kif 27806-27806

appearance as argument number 3

(domain heartRate 1 Heart)

Mid-level-ontology.kif 10553-10553

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

antecedent

(=> (and (instance ?C CheckingVitals) (agent ?C ?A) (patient ?C ?P) (instance ?H Heart) (part ?H ?P) (instance ?L Lung) (part ?L ?P) (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R)) (knows ?A (and (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R))))	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
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGAbnormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (attribute ?P (ImpairedBodyPartFn Heart)) Likely))	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
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGNormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (not (attribute ?P (ImpairedBodyPartFn Heart))) Likely))	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
(=> (and (instance ?HA HeartAttack) (instance ?H Heart) (located ?HA ?H)) (exists (?M) (and (instance ?M Muscle) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M)))))))	Mid-level-ontology.kif 11586-11603	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
(=> (and (instance ?HB HeartBeat) (patient ?HB ?H) (instance ?H Heart)) (exists (?MC ?MR) (and (instance ?MC MuscularContraction) (patient ?MC ?H) (instance ?MR MuscleRelaxing) (patient ?MR ?H) (subProcess ?MC ?HB) (subProcess ?MR ?HB))))	Mid-level-ontology.kif 10946-10958	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
(=> (and (instance ?P HeartPalpitations) (experiencer ?P ?H) (instance ?HEART Heart) (part ?HEART ?H)) (exists (?PER) (and (instance ?PER Perception) (experiencer ?PER ?H) (patient ?PER ?HEART))))	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
(=> (and (instance ?T Bradycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan 50 ?N))	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
(=> (and (instance ?T Tachycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan ?N 100))	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
(=> (and (restingHeartRate ?H ?R) (instance ?HEART Heart) (part ?HEART ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (heartRate ?H ?T ?R))))	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
(=> (instance ?H Heart) (hasPurpose ?H (exists (?T ?HB ?B) (and (instance ?HB HeartBeat) (instance ?T LiquidMotion) (instance ?B Blood) (moves ?T ?B) (causes ?HB ?T)))))	Mid-level-ontology.kif 10960-10969	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
(=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD))))	Mid-level-ontology.kif 11559-11566	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

(=> (and (instance ?ARTERY Artery) (instance ?TRANSFER Transfer) (patient ?TRANSFER ?BLOOD) (instrument ?TRANSFER ?ARTERY) (instance ?BLOOD Blood)) (exists (?HEART) (and (instance ?HEART Heart) (origin ?TRANSFER ?HEART))))	Mid-level-ontology.kif 11326-11336	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
(=> (and (instance ?E Electrocardiography) (patient ?E ?H) (agent ?E ?D) (attribute ?D MedicalDoctor)) (hasPurpose ?E (knows ?D (exists (?T) (truth (attribute ?H (ImpairedBodyPartFn Heart)) ?T)))))	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
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGAbnormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (attribute ?P (ImpairedBodyPartFn Heart)) Likely))	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
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGNormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (not (attribute ?P (ImpairedBodyPartFn Heart))) Likely))	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
(=> (and (instance ?LA LeftAtrium) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart))))	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
(=> (and (instance ?LA LeftVentricle) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart))))	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
(=> (and (instance ?LA RightAtrium) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart))))	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
(=> (and (instance ?LA RightVentricle) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart))))	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
(=> (and (instance ?P HeartPalpitations) (experiencer ?P ?H)) (exists (?HEART) (and (instance ?HEART Heart) (part ?HEART ?H) (located ?P ?HEART))))	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
(=> (and (instance ?RC RibCage) (part ?RC ?H) (instance ?H Human) (attribute ?H Living) (not (and (instance ?P PathologicProcess) (located ?P ?H)))) (exists (?HT ?LG) (and (instance ?HT Heart) (instance ?HT Lung) (contains ?RC ?LG) (contains ?RC ?HT))))	Mid-level-ontology.kif 11465-11480	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
(=> (and (instance ?V PulmonaryVein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?L ?H ?P) (and (instance ?L Lung) (origin ?T ?L) (part ?V ?P) (part ?L ?P) (part ?H ?P) (instance ?H Heart) (destination ?T ?H))))	Mid-level-ontology.kif 11375-11390	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
(=> (and (instance ?V Vein) (instance ?T Transfer) (patient ?T ?B) (instrument ?T ?V) (instance ?B Blood)) (exists (?H) (and (instance ?H Heart) (destination ?T ?H))))	Mid-level-ontology.kif 11343-11353	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
(=> (attribute ?H HeartDisease) (or (attribute ?H (ImpairedBodyPartFn Heart)) (attribute ?H (ImpairedBodyPartFn BloodVessel))))	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
(=> (instance ?HB HeartBeat) (exists (?H) (and (patient ?HB ?H) (instance ?H Heart))))	Mid-level-ontology.kif 10939-10944	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
(=> (instance ?HB HeartBeatingAtFasterRate) (exists (?H) (and (instance ?H Heart) (patient ?HB ?H))))	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
(=> (instance ?HM HeartMuscle) (exists (?H) (and (instance ?H Heart) (located ?HM ?H))))	Mid-level-ontology.kif 10638-10643	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
(=> (instance ?P Pericardium) (hasPurpose ?P (exists (?H) (and (instance ?H Heart) (contains ?P ?H)))))	Mid-level-ontology.kif 11620-11626	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