TreeView Knowledge Base Browser

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

instance Object and Heart
Process Entity instance Process and Transfer instance Entity and Blood instrument Process and Object patient Process and Entity

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	instance Object and Artery instance Process and Transfer patient Process and Entity instrument Process and Object instance Entity and Blood Object instance Object and Heart origin Process and Object
(=> (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	instance Object and PulmonaryVein instance Process and Transfer patient Process and Entity instrument Process and Object instance Entity and Blood Object Object and Object instance Object and Lung origin Process and Object part Object and Object part Object and Object part Object and Object instance Object and Heart destination Process and Object
(=> (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 Object and Vein instance Process and Transfer patient Process and Entity instrument Process and Object instance Entity and Blood Entity instance Entity and Heart destination Process and Entity
(=> (instance ?HB HeartBeatingAtFasterRate) (exists (?H) (and (instance ?H Heart) (patient ?HB ?H))))	emotion.kif 1650-1655	instance Process and HeartBeatingAtFasterRate Entity instance Entity and Heart patient Process and Entity

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

KB Term:			Term intersection

English Word: