Hypothalamus - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Hypothalamus BodyPart)	Mid-level-ontology.kif 13601-13601	Hypothalamus is a subclass of body part
(subclass Hypothalamus AnimalAnatomicalStructure)	Mid-level-ontology.kif 13602-13602	Hypothalamus is a subclass of animal anatomical structure
(documentation Hypothalamus EnglishLanguage "The part of the Brain lying below the thalamus that serves to regulate AutonomicProcesses.")	Mid-level-ontology.kif 13603-13604	Hypothalamus is a subclass of animal anatomical structure

appearance as argument number 2

(termFormat EnglishLanguage Hypothalamus "hypothalamus")	domainEnglishFormat.kif 29081-29081
(termFormat ChineseTraditionalLanguage Hypothalamus "下丘腦")	domainEnglishFormat.kif 29082-29082
(termFormat ChineseLanguage Hypothalamus "下丘脑")	domainEnglishFormat.kif 29083-29083

antecedent

(=>
    (instance ?HYPO Hypothalamus)
    (exists (?BRAIN)
        (and
            (instance ?BRAIN Brain)
            (part ?HYPO ?BRAIN))))

If X is an instance of hypothalamus, then there exists Y such that Y is an instance of brain and X is a part of Y