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 10837-10837
(externalImage Heart "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Heart_diastole.png") pictureList.kif 112-112
(externalImage Heart "http://www.adampease.org/Articulate/SUMOpictures/pictures/ holiday/ valentines/ heart.png") pictureList.kif 496-496
(material Heart InvoluntaryMuscle) Mid-level-ontology.kif 10838-10838
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 10836-10836
(subclass Heart VitalOrgan) Mid-level-ontology.kif 10835-10835

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


(termFormat ChineseLanguage Heart "心") domainEnglishFormat.kif 27765-27765
(termFormat ChineseTraditionalLanguage Heart "心") domainEnglishFormat.kif 27764-27764
(termFormat EnglishLanguage Heart "heart") domainEnglishFormat.kif 27763-27763

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


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

antecedent
-------------------------


(=>
    (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 10867-10884
(=>
    (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 10232-10244
(=>
    (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 10246-10255
(=>
    (instance ?HEART Heart)
    (exists (?TRANSFER ?BLOOD)
        (and
            (instance ?TRANSFER Transfer)
            (instance ?BLOOD Blood)
            (instrument ?TRANSFER ?HEART)
            (patient ?TRANSFER ?BLOOD))))
Mid-level-ontology.kif 10840-10847

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 10610-10620
(=>
    (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 10749-10764
(=>
    (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 10659-10674
(=>
    (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 10627-10637
(=>
    (instance ?HB HeartBeat)
    (exists (?H)
        (and
            (patient ?HB ?H)
            (instance ?H Heart))))
Mid-level-ontology.kif 10225-10230
(=>
    (instance ?HB HeartBeatingAtFasterRate)
    (exists (?H)
        (and
            (instance ?H Heart)
            (patient ?HB ?H))))
emotion.kif 1690-1695
(=>
    (instance ?HM HeartMuscle)
    (exists (?H)
        (and
            (instance ?H Heart)
            (located ?HM ?H))))
Mid-level-ontology.kif 9947-9952
(=>
    (instance ?P Pericardium)
    (hasPurpose ?P
        (exists (?H)
            (and
                (instance ?H Heart)
                (contains ?P ?H)))))
Mid-level-ontology.kif 10901-10907


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