RightVentricle - Sigma Knowledge base Browser

appearance as argument number 1

(subclass RightVentricle BodyCavity)	Medicine.kif 310-310	Right ventricle is a subclass of body cavity
(documentation RightVentricle EnglishLanguage "One of the four chambers of the Heart in Primates.")	Medicine.kif 311-312	Right ventricle is a subclass of body cavity
(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 314-314	Right ventricle is a subclass of body cavity

appearance as argument number 2

antecedent

(=>
    (instance ?LA RightVentricle)
    (exists (?HEART)
        (and
            (equal ?HEART
                (HoleHostFn ?LA))
            (instance ?HEART Heart))))

If X is an instance of right ventricle, then there exists Y such that equal Y, the host of the hole X, and Y is an instance of heart