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 9644-9644
(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
(subclass Heart AnimalAnatomicalStructure) Mid-level-ontology.kif 9643-9643 subclass Heart and AnimalAnatomicalStructure
(subclass Heart Organ) Mid-level-ontology.kif 9642-9642 subclass Heart and Organ

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


(termFormat ChineseLanguage Heart "心") domainEnglishFormat.kif 27706-27706
(termFormat ChineseTraditionalLanguage Heart "心") domainEnglishFormat.kif 27705-27705
(termFormat EnglishLanguage Heart "heart") domainEnglishFormat.kif 27704-27704

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


(=>
    (instance ?HEART Heart)
    (exists (?TRANSFER ?BLOOD)
        (and
            (instance ?TRANSFER Transfer)
            (instance ?BLOOD Blood)
            (instrument ?TRANSFER ?HEART)
            (patient ?TRANSFER ?BLOOD))))
Mid-level-ontology.kif 9646-9653

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 9484-9494
(=>
    (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 9533-9548
(=>
    (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 9501-9511
(=>
    (instance ?HB HeartBeatingAtFasterRate)
    (exists (?H)
        (and
            (instance ?H Heart)
            (patient ?HB ?H))))
emotion.kif 1650-1655


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