|
|
   LeftVentricle
|
|
|
| appearance as argument number 1 |
|
|
| (documentation LeftVentricle EnglishLanguage "One of the four chambers of the Heart in Primates.") | Medicine.kif 286-287 | |
| (externalImage LeftVentricle "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 289-289 | |
| (subclass LeftVentricle BodyCavity) | Medicine.kif 285-285 | LeftVentricle は BodyCavity の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LeftVentricle "left ventricle") | Medicine.kif 288-288 |
| antecedent |
|
|
| (=> (and (instance ?LA LeftVentricle) (part ?LA ?H)) (exists (?H ?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (part ?HEART ?H) (instance ?HEART Heart)))) |
Medicine.kif 291-299 |
|
|
|
|
