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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Hypothalamus

Sigma KEE - Hypothalamus
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 13427-13428
(subclass Hypothalamus AnimalAnatomicalStructure) Mid-level-ontology.kif 13426-13426 HypothalamusAnimalAnatomicalStructuresubclass では
(subclass Hypothalamus BodyPart) Mid-level-ontology.kif 13425-13425 Hypothalamus体の部分subclass では

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


(termFormat ChineseLanguage Hypothalamus "下丘脑") domainEnglishFormat.kif 29090-29090
(termFormat ChineseTraditionalLanguage Hypothalamus "下丘腦") domainEnglishFormat.kif 29089-29089
(termFormat EnglishLanguage Hypothalamus "hypothalamus") domainEnglishFormat.kif 29088-29088

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


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


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

Show without tree


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