Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LeftVentricle
|
|
|
| appearance as argument number 1 |
|
|
| (subclass LeftVentricle BodyCavity) | Medicine.kif 284-284 | Left ventricle is a subclass of body cavity |
| (documentation LeftVentricle EnglishLanguage "One of the four chambers of the Heart in Primates.") | Medicine.kif 285-286 | Left ventricle is a subclass of body cavity |
| (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 288-288 | Left ventricle is a subclass of body cavity |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage LeftVentricle "left ventricle") | Medicine.kif 287-287 |
| antecedent |
|
|
| (=> (instance ?LA LeftVentricle) (exists (?HEART) (and (equal ?HEART (HoleHostFn ?LA)) (instance ?HEART Heart)))) |
Medicine.kif 290-295 | If X is an instance of left ventricle, then there exists Y such that equal Y, the host of the hole X, and Y is an instance of heart |
|
