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 12233-12233
(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 12235-12235
(initiallyContainsPart Heart Human) Mid-level-ontology.kif 24812-24812 心 的例子总是 人类 的 initially part 的例子
(material Heart InvoluntaryMuscle) Mid-level-ontology.kif 12234-12234 心 是 InvoluntaryMuscle 的材料
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 12232-12232 心 是 动物解剖结构 的 subclass
(subclass Heart VitalOrgan) Mid-level-ontology.kif 12231-12231 心 是 VitalOrgan 的 subclass

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


(termFormat ChineseLanguage Heart "心") domainEnglishFormat.kif 27802-27802
(termFormat ChineseTraditionalLanguage Heart "心") domainEnglishFormat.kif 27801-27801
(termFormat EnglishLanguage Heart "heart") domainEnglishFormat.kif 27800-27800

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


(domain heartRate 1 Heart) Mid-level-ontology.kif 11231-11231 heartRate 的 1 数量 是 心 的 instance

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 6489-6513
(=>
    (and
        (instance ?EKG Electrocardiogram)
        (attribute ?EKG EKGAbnormal)
        (refers ?EKG ?H)
        (part ?H ?P)
        (instance ?H Heart))
    (modalAttribute
        (attribute ?P
            (ImpairedBodyPartFn Heart)) Likely))		 Medicine.kif 1870-1879
(=>
    (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 1853-1863
(=>
    (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 12264-12281
(=>
    (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 11624-11636
(=>
    (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 2048-2058
(=>
    (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 2835-2843
(=>
    (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 2807-2815
(=>
    (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 11638-11647
(=>
    (instance ?HEART Heart)
    (exists (?TRANSFER ?BLOOD)
        (and
            (instance ?TRANSFER Transfer)
            (instance ?BLOOD Blood)
            (instrument ?TRANSFER ?HEART)
            (patient ?TRANSFER ?BLOOD))))		 Mid-level-ontology.kif 12237-12244

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 12004-12014
(=>
    (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 3437-3448
(=>
    (and
        (instance ?EKG Electrocardiogram)
        (attribute ?EKG EKGAbnormal)
        (refers ?EKG ?H)
        (part ?H ?P)
        (instance ?H Heart))
    (modalAttribute
        (attribute ?P
            (ImpairedBodyPartFn Heart)) Likely))		 Medicine.kif 1870-1879
(=>
    (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 1853-1863
(=>
    (and
        (instance ?P HeartPalpitations)
        (experiencer ?P ?H))
    (exists (?HEART)
        (and
            (instance ?HEART Heart)
            (part ?HEART ?H)
            (located ?P ?HEART))))		 Medicine.kif 2060-2068
(=>
    (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 12143-12158
(=>
    (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 12053-12068
(=>
    (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 12021-12031
(=>
    (attribute ?H HeartDisease)
    (or
        (attribute ?H
            (ImpairedBodyPartFn Heart))
        (attribute ?H
            (ImpairedBodyPartFn BloodVessel))))		 Medicine.kif 5720-5724
(=>
    (instance ?HB HeartBeat)
    (exists (?H)
        (and
            (patient ?HB ?H)
            (instance ?H Heart))))		 Mid-level-ontology.kif 11617-11622
(=>
    (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 11316-11321
(=>
    (instance ?LA LeftAtrium)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))		 Medicine.kif 275-280
(=>
    (instance ?LA LeftVentricle)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))		 Medicine.kif 288-293
(=>
    (instance ?LA RightAtrium)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))		 Medicine.kif 301-306
(=>
    (instance ?LA RightVentricle)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))		 Medicine.kif 314-319
(=>
    (instance ?P Pericardium)
    (hasPurpose ?P
        (exists (?H)
            (and
                (instance ?H Heart)
                (contains ?P ?H)))))		 Mid-level-ontology.kif 12298-12304


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