TreeView Knowledge Base Browser - Brain

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Brain

Brain(brain)

brain, cerebral_cortex, cerebral_mantle, cortex, encephalon, head, limbic_brain, limbic_system, mind, neocortex, neocortical, neopallium, nous, pallium, psyche, upstairs, visceral_brain

appearance as argument number 1

(documentation Brain EnglishLanguage "The seat of the central nervous system.")	Mid-level-ontology.kif 11329-11329
(externalImage Brain "http://upload.wikimedia.org/wikipedia/commons/4/49/ Human_brain_NIH.jpg")	pictureList.kif 51-51
(externalImage Brain "http://www.adampease.org/Articulate/SUMOpictures/pictures/ medical/ anatomy/ brain.png")	pictureList.kif 288-288
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 11328-11328	Brain is a subclass of animal anatomical structure
(subclass Brain VitalOrgan)	Mid-level-ontology.kif 11327-11327	Brain is a subclass of vital organ

appearance as argument number 2

(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 11356-11356	Every frontal lobe is a part of a brain
(partTypes Medulla Brain)	Mid-level-ontology.kif 11334-11334	Every medulla is a part of a brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 11363-11363	Every occipital lobes is a part of a brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 11348-11348	Every parietal lobe is a part of a brain
(partTypes Pons Brain)	Mid-level-ontology.kif 11340-11340	Every pons is a part of a brain
(partTypes TemporalLobes Brain)	Mid-level-ontology.kif 11370-11370	Every temporal lobes is a part of a brain
(termFormat ChineseLanguage Brain "脑")	domainEnglishFormat.kif 11828-11828
(termFormat ChineseTraditionalLanguage Brain "腦")	domainEnglishFormat.kif 11827-11827
(termFormat EnglishLanguage Brain "brain")	domainEnglishFormat.kif 11826-11826

antecedent

(=> (and (instance ?HA Stroke) (instance ?H Brain) (located ?HA ?H)) (exists (?M) (and (instance ?M NerveCell) (part ?M ?H) (not (exists (?BF ?B) (and (instance ?BF LiquidMotion) (objectTransferred ?BF ?B) (instance ?B Blood) (during ?BF (WhenFn ?HA)) (destination ?BF ?M)))))))	Mid-level-ontology.kif 11396-11413	If a physical is an instance of stroke and an object is an instance of brain and the physical is located at the object, then there exists another object such that the other object is an instance of nerve cell and the other object is a part of the object and there don't exist a time interval and a third object such that the time interval is an instance of liquid motion and the object transferred in the time interval is the third object and the third object is an instance of blood and the time interval takes place during the time of existence of the physical and the time interval ends up at the other object
(=> (and (instance ?S Stroke) (instance ?B Brain) (located ?S ?B)) (exists (?N ?D) (and (instance ?N NerveCell) (located ?N ?B) (instance ?D Destruction) (subProcess ?D ?S) (patient ?D ?N))))	Mid-level-ontology.kif 11415-11426	If a process is an instance of stroke and an object is an instance of brain and the process is located at the object, then there exist a physical and another process such that the physical is an instance of nerve cell and the physical is located at the object and the other process is an instance of destruction and the other process is a subprocess of the process and the physical is a patient of the other process

consequent

(=> (instance ?HA Stroke) (exists (?B) (and (instance ?B Brain) (located ?HA ?B))))	Mid-level-ontology.kif 11389-11394	If a physical is an instance of stroke, then there exists an object such that the object is an instance of brain and the physical is located at the object
(=> (instance ?HYPO Hypothalamus) (exists (?BRAIN) (and (instance ?BRAIN Brain) (part ?HYPO ?BRAIN))))	Mid-level-ontology.kif 11577-11582	If an object is an instance of hypothalamus, then there exists another object such that the other object is an instance of brain and the object is a part of the other object

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