TreeView Knowledge Base Browser - Heart

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 12662-12662
(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 12664-12664
(initiallyContainsPart Heart Human)	Mid-level-ontology.kif 25330-25330	Instance of heart are always initially part of instances of human
(material Heart InvoluntaryMuscle)	Mid-level-ontology.kif 12663-12663	Involuntary muscle is made of heart
(subclass Heart AnimalAnatomicalStructure)	Mid-level-ontology.kif 12661-12661	Heart is a subclass of animal anatomical structure
(subclass Heart VitalOrgan)	Mid-level-ontology.kif 12660-12660	Heart is a subclass of vital organ

appearance as argument number 2

(termFormat ChineseLanguage Heart "心")	domainEnglishFormat.kif 27784-27784
(termFormat ChineseTraditionalLanguage Heart "心")	domainEnglishFormat.kif 27783-27783
(termFormat EnglishLanguage Heart "heart")	domainEnglishFormat.kif 27782-27782

appearance as argument number 3

(domain heartRate 1 Heart)

Mid-level-ontology.kif 11658-11658

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 6524-6548	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 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
(=> (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 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
(=> (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 12693-12710	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 12053-12065	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 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
(=> (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 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
(=> (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 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
(=> (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 12067-12076	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 12666-12673	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 12433-12443	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 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
(=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGAbnormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (attribute ?P (ImpairedBodyPartFn Heart)) Likely))	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
(=> (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 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
(=> (and (instance ?P HeartPalpitations) (experiencer ?P ?H)) (exists (?HEART) (and (instance ?HEART Heart) (part ?HEART ?H) (located ?P ?HEART))))	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
(=> (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 12572-12587	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 12482-12497	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 12450-12460	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 5744-5748	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 12046-12051	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 11745-11750	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 ?LA LeftAtrium) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart))))	Medicine.kif 275-280	If a hole is an instance of left atrium, then there exists an object such that equal the object and the host of the hole the hole and the object is an instance of heart
(=> (instance ?LA LeftVentricle) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart))))	Medicine.kif 288-293	If a hole is an instance of left ventricle, then there exists an object such that equal the object and the host of the hole the hole and the object is an instance of heart
(=> (instance ?LA RightAtrium) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart))))	Medicine.kif 301-306	If a hole is an instance of right atrium, then there exists an object such that equal the object and the host of the hole the hole and the object is an instance of heart
(=> (instance ?LA RightVentricle) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart))))	Medicine.kif 314-319	If a hole is an instance of right ventricle, then there exists an object such that equal the object and the host of the hole the hole and the object is an instance of heart
(=> (instance ?P Pericardium) (hasPurpose ?P (exists (?H) (and (instance ?H Heart) (contains ?P ?H)))))	Mid-level-ontology.kif 12727-12733	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