TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Hypothalamus EnglishLanguage "The part of the Brain lying below the thalamus that serves to regulate AutonomicProcesses.")	Mid-level-ontology.kif 10039-10040
(subclass Hypothalamus AnimalAnatomicalStructure)	Mid-level-ontology.kif 10038-10038	subclass Hypothalamus and AnimalAnatomicalStructure
(subclass Hypothalamus BodyPart)	Mid-level-ontology.kif 10037-10037	subclass Hypothalamus and BodyPart

appearance as argument number 2

(termFormat ChineseLanguage Hypothalamus "下丘脑")	domainEnglishFormat.kif 29077-29077
(termFormat ChineseTraditionalLanguage Hypothalamus "下丘腦")	domainEnglishFormat.kif 29076-29076
(termFormat EnglishLanguage Hypothalamus "hypothalamus")	domainEnglishFormat.kif 29075-29075

antecedent

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

Mid-level-ontology.kif 10042-10047