Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hypothalamus
Hypothalamus(hypothalamus)hypothalamic, hypothalamus

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 11631-11632
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 11630-11630 Hypothalamus is a subclass of animal anatomical structure
(subclass Hypothalamus BodyPart) Mid-level-ontology.kif 11629-11629 Hypothalamus is a subclass of body part

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Hypothalamus "下丘脑") domainEnglishFormat.kif 29070-29070
(termFormat ChineseTraditionalLanguage Hypothalamus "下丘腦") domainEnglishFormat.kif 29069-29069
(termFormat EnglishLanguage Hypothalamus "hypothalamus") domainEnglishFormat.kif 29068-29068

antecedent
-------------------------


(=>
    (instance ?HYPO Hypothalamus)
    (exists (?BRAIN)
        (and
            (instance ?BRAIN Brain)
            (part ?HYPO ?BRAIN))))
Mid-level-ontology.kif 11634-11639


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners