![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Heart EnglishLanguage "The Organ that pumps Blood throughout the body.") | Mid-level-ontology.kif 10892-10892 | |
(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 10893-10893 | |
(subclass Heart AnimalAnatomicalStructure) | Mid-level-ontology.kif 10891-10891 | |
(subclass Heart VitalOrgan) | Mid-level-ontology.kif 10890-10890 |
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 9953-9953 |
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 10922-10939 | |
(=> (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 10285-10297 | |
(=> (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 10299-10308 | |
(=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 10895-10902 |
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 10663-10673 | |
(=> (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 10802-10817 | |
(=> (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 10712-10727 | |
(=> (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 10680-10690 | |
(=> (instance ?HB HeartBeat) (exists (?H) (and (patient ?HB ?H) (instance ?H Heart)))) |
Mid-level-ontology.kif 10278-10283 | |
(=> (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 9997-10002 | |
(=> (instance ?P Pericardium) (hasPurpose ?P (exists (?H) (and (instance ?H Heart) (contains ?P ?H))))) |
Mid-level-ontology.kif 10956-10962 |
![]() |
![]() |