| RightVentricle(right ventricle)
|
| appearance as argument number 1 |
|
| (documentation RightVentricle EnglishLanguage "One of the four chambers of the Heart in Primates.") | Medicine.kif 309-310 | |
| (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 312-312 | |
| (subclass RightVentricle BodyCavity) | Medicine.kif 308-308 | Right ventricle is a subclass of body cavity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RightVentricle "right ventricle") | Medicine.kif 311-311 |
| antecedent |
|
|
| (=> (instance ?LA RightVentricle) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart)))) |
Medicine.kif 314-319 |
|
|
|
|