|
|
   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 |
|
|
|
