RightVentricle(right ventricle) |
appearance as argument number 1 |
(documentation RightVentricle EnglishLanguage "One of the four chambers of the Heart in Primates.") | Medicine.kif 318-319 | |
(externalImage RightVentricle "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") | Medicine.kif 321-321 | |
(subclass RightVentricle BodyCavity) | Medicine.kif 317-317 | Right ventricle is a subclass of body cavity |
appearance as argument number 2 |
(termFormat EnglishLanguage RightVentricle "right ventricle") | Medicine.kif 320-320 |
antecedent |
(=> (and (instance ?LA RightVentricle) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart)))) |
Medicine.kif 323-331 |
|