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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Heart

Sigma KEE - Heart
Heart

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


(documentation Heart EnglishLanguage "The Organ that pumps Blood throughout the body.") Mid-level-ontology.kif 11364-11364
(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 11366-11366
(initiallyContainsPart Heart Human) Mid-level-ontology.kif 23750-23750 initiallyContainsPart Heart and humain
(material Heart InvoluntaryMuscle) Mid-level-ontology.kif 11365-11365 Heart est fait de InvoluntaryMuscle
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 11363-11363 Heart est une sous-classe de AnimalAnatomicalStructure
(subclass Heart VitalOrgan) Mid-level-ontology.kif 11362-11362 Heart est une sous-classe de VitalOrgan

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 10362-10362 Le nombre 1 argument de heartRate est une instance de 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
(=>
    (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 11395-11412
(=>
    (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 10755-10767
(=>
    (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 10769-10778
(=>
    (instance ?HEART Heart)
    (exists (?TRANSFER ?BLOOD)
        (and
            (instance ?TRANSFER Transfer)
            (instance ?BLOOD Blood)
            (instrument ?TRANSFER ?HEART)
            (patient ?TRANSFER ?BLOOD))))
Mid-level-ontology.kif 11368-11375

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 11135-11145
(=>
    (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 11274-11289
(=>
    (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 11184-11199
(=>
    (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 11152-11162
(=>
    (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 10748-10753
(=>
    (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 10447-10452
(=>
    (instance ?P Pericardium)
    (hasPurpose ?P
        (exists (?H)
            (and
                (instance ?H Heart)
                (contains ?P ?H)))))
Mid-level-ontology.kif 11429-11435


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