Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Heart
Heart

appearance as argument number 1
-------------------------


(documentation Heart EnglishLanguage "The Organ that pumps Blood throughout the body.") Mid-level-ontology.kif 11337-11337
(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 11339-11339
(material Heart InvoluntaryMuscle) Mid-level-ontology.kif 11338-11338
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 11336-11336
(subclass Heart VitalOrgan) Mid-level-ontology.kif 11335-11335

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Heart "心") domainEnglishFormat.kif 27774-27774
(termFormat ChineseTraditionalLanguage Heart "心") domainEnglishFormat.kif 27773-27773
(termFormat EnglishLanguage Heart "heart") domainEnglishFormat.kif 27772-27772

appearance as argument number 3
-------------------------


(domain heartRate 1 Heart) Mid-level-ontology.kif 10335-10335

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
(=>
    (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
(=>
    (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
(=>
    (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 11368-11385
(=>
    (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 10728-10740
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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 10742-10751
(=>
    (instance ?HEART Heart)
    (exists (?TRANSFER ?BLOOD)
        (and
            (instance ?TRANSFER Transfer)
            (instance ?BLOOD Blood)
            (instrument ?TRANSFER ?HEART)
            (patient ?TRANSFER ?BLOOD))))
Mid-level-ontology.kif 11341-11348

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 11108-11118
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?P HeartPalpitations)
        (experiencer ?P ?H))
    (exists (?HEART)
        (and
            (instance ?HEART Heart)
            (part ?HEART ?H)
            (located ?P ?HEART))))
Medicine.kif 2072-2080
(=>
    (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 11247-11262
(=>
    (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 11157-11172
(=>
    (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 11125-11135
(=>
    (attribute ?H HeartDisease)
    (or
        (attribute ?H
            (ImpairedBodyPartFn Heart))
        (attribute ?H
            (ImpairedBodyPartFn BloodVessel))))
Medicine.kif 5732-5736
(=>
    (instance ?HB HeartBeat)
    (exists (?H)
        (and
            (patient ?HB ?H)
            (instance ?H Heart))))
Mid-level-ontology.kif 10721-10726
(=>
    (instance ?HB HeartBeatingAtFasterRate)
    (exists (?H)
        (and
            (instance ?H Heart)
            (patient ?HB ?H))))
emotion.kif 1682-1687
(=>
    (instance ?HM HeartMuscle)
    (exists (?H)
        (and
            (instance ?H Heart)
            (located ?HM ?H))))
Mid-level-ontology.kif 10420-10425
(=>
    (instance ?P Pericardium)
    (hasPurpose ?P
        (exists (?H)
            (and
                (instance ?H Heart)
                (contains ?P ?H)))))
Mid-level-ontology.kif 11402-11408


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