| Heart
| |
| appearance as argument number 1 |
|
|
| (documentation Heart EnglishLanguage "The Organ that pumps Blood throughout the body.") | Mid-level-ontology.kif 12686-12686 | |
| (externalImage Heart "http://articulatesoftware.com/SUMOpictures/holiday/ valentines/ heart.png") | pictureList.kif 496-496 | |
| (externalImage Heart "http://upload.wikimedia.org/wikipedia/commons/2/2d/ Heart_diastole.png") | pictureList.kif 112-112 | |
| (externalImage Heart "https://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e5/ Diagram_of_the_human_heart_%28cropped%29.svg/ 800px_Diagram_of_the_human_heart_%28cropped%29.svg.png") | Mid-level-ontology.kif 12688-12688 | |
| (initiallyContainsPart Heart Human) | Mid-level-ontology.kif 25358-25358 | |
| (material Heart InvoluntaryMuscle) | Mid-level-ontology.kif 12687-12687 | |
| (subclass Heart AnimalAnatomicalStructure) | Mid-level-ontology.kif 12685-12685 | |
| (subclass Heart VitalOrgan) | Mid-level-ontology.kif 12684-12684 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Heart "心") | domainEnglishFormat.kif 27802-27802 | |
| (termFormat ChineseTraditionalLanguage Heart "心") | domainEnglishFormat.kif 27801-27801 | |
| (termFormat EnglishLanguage Heart "heart") | domainEnglishFormat.kif 27800-27800 |
| appearance as argument number 3 |
|
|
| (domain heartRate 1 Heart) | Mid-level-ontology.kif 11682-11682 |
| antecedent |
|
|
| (=> (and (instance ?C CheckingVitals) (agent ?C ?A) (patient ?C ?P) (instance ?H Heart) (part ?H ?P) (instance ?L Lung) (part ?L ?P) (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R)) (knows ?A (and (holdsDuring (WhenFn ?C) (and (systolicBloodPressure ?P ?SYS) (diastolicBloodPressure ?P ?DIA) (measure ?P (MeasureFn ?T FahrenheitDegree)))) (heartRate ?H (WhenFn ?C) ?I) (breathingRate ?L (WhenFn ?C) ?R)))) |
Medicine.kif 6523-6547 | |
| (=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGAbnormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (attribute ?P (ImpairedBodyPartFn Heart)) Likely)) |
Medicine.kif 1875-1884 | |
| (=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGNormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (not (attribute ?P (ImpairedBodyPartFn Heart))) Likely)) |
Medicine.kif 1858-1868 | |
| (=> (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 12717-12734 | |
| (=> (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 12077-12089 | |
| (=> (and (instance ?P HeartPalpitations) (experiencer ?P ?H) (instance ?HEART Heart) (part ?HEART ?H)) (exists (?PER) (and (instance ?PER Perception) (experiencer ?PER ?H) (patient ?PER ?HEART)))) |
Medicine.kif 2057-2067 | |
| (=> (and (instance ?T Bradycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan 50 ?N)) |
Medicine.kif 2848-2856 | |
| (=> (and (instance ?T Tachycardia) (experiencer ?T ?P) (instance ?H Heart) (part ?H ?P) (instance ?I Minute) (heartRate ?H ?I ?N)) (greaterThan ?N 100)) |
Medicine.kif 2820-2828 | |
| (=> (and (restingHeartRate ?H ?R) (instance ?HEART Heart) (part ?HEART ?H)) (exists (?T) (and (not (exists (?REC) (and (instance ?REC RecreationOrExercise) (agent ?REC ?H) (during ?T (WhenFn ?REC))))) (instance ?T Minute) (heartRate ?H ?T ?R)))) |
Medicine.kif 122-136 | |
| (=> (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 12091-12100 | |
| (=> (instance ?HEART Heart) (exists (?TRANSFER ?BLOOD) (and (instance ?TRANSFER Transfer) (instance ?BLOOD Blood) (instrument ?TRANSFER ?HEART) (patient ?TRANSFER ?BLOOD)))) |
Mid-level-ontology.kif 12690-12697 |
| 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 12457-12467 | |
| (=> (and (instance ?E Electrocardiography) (patient ?E ?H) (agent ?E ?D) (attribute ?D MedicalDoctor)) (hasPurpose ?E (knows ?D (exists (?T) (truth (attribute ?H (ImpairedBodyPartFn Heart)) ?T))))) |
Medicine.kif 3450-3461 | |
| (=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGAbnormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (attribute ?P (ImpairedBodyPartFn Heart)) Likely)) |
Medicine.kif 1875-1884 | |
| (=> (and (instance ?EKG Electrocardiogram) (attribute ?EKG EKGNormal) (refers ?EKG ?H) (part ?H ?P) (instance ?H Heart)) (modalAttribute (not (attribute ?P (ImpairedBodyPartFn Heart))) Likely)) |
Medicine.kif 1858-1868 | |
| (=> (and (instance ?P HeartPalpitations) (experiencer ?P ?H)) (exists (?HEART) (and (instance ?HEART Heart) (part ?HEART ?H) (located ?P ?HEART)))) |
Medicine.kif 2069-2077 | |
| (=> (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 12596-12611 | |
| (=> (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 12506-12521 | |
| (=> (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 12474-12484 | |
| (=> (attribute ?H HeartDisease) (or (attribute ?H (ImpairedBodyPartFn Heart)) (attribute ?H (ImpairedBodyPartFn BloodVessel)))) |
Medicine.kif 5743-5747 | |
| (=> (instance ?HB HeartBeat) (exists (?H) (and (patient ?HB ?H) (instance ?H Heart)))) |
Mid-level-ontology.kif 12070-12075 | |
| (=> (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 11769-11774 | |
| (=> (instance ?LA LeftAtrium) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart)))) |
Medicine.kif 275-280 | |
| (=> (instance ?LA LeftVentricle) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart)))) |
Medicine.kif 288-293 | |
| (=> (instance ?LA RightAtrium) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart)))) |
Medicine.kif 301-306 | |
| (=> (instance ?LA RightVentricle) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart)))) |
Medicine.kif 314-319 | |
| (=> (instance ?P Pericardium) (hasPurpose ?P (exists (?H) (and (instance ?H Heart) (contains ?P ?H))))) |
Mid-level-ontology.kif 12751-12757 |
|
|
|