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, 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 13173-13173
(externalImage Brain "http://articulatesoftware.com/SUMOpictures/medical/ anatomy/ brain.png")	pictureList.kif 288-288
(externalImage Brain "http://upload.wikimedia.org/wikipedia/commons/4/49/ Human_brain_NIH.jpg")	pictureList.kif 51-51
(initiallyContainsPart Brain Human)	Mid-level-ontology.kif 25329-25329	initiallyContainsPart Brain and human
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 13172-13172	Brain is a subclass of AnimalAnatomicalStructure
(subclass Brain VitalOrgan)	Mid-level-ontology.kif 13171-13171	Brain is a subclass of VitalOrgan

appearance as argument number 2

(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 13200-13200	partTypes FrontalLobe and Brain
(partTypes Medulla Brain)	Mid-level-ontology.kif 13178-13178	partTypes Medulla and Brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 13207-13207	partTypes OccipitalLobes and Brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 13192-13192	partTypes ParietalLobe and Brain
(partTypes Pons Brain)	Mid-level-ontology.kif 13184-13184	partTypes Pons and Brain
(partTypes TemporalLobes Brain)	Mid-level-ontology.kif 13214-13214	partTypes TemporalLobes and Brain
(termFormat ChineseLanguage Brain "脑")	domainEnglishFormat.kif 11833-11833	partTypes TemporalLobes and Brain
(termFormat ChineseTraditionalLanguage Brain "腦")	domainEnglishFormat.kif 11832-11832	partTypes TemporalLobes and Brain
(termFormat EnglishLanguage Brain "brain")	domainEnglishFormat.kif 11831-11831	partTypes TemporalLobes and Brain

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 13240-13257	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 NerveCell 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 LiquidMotion and objectTransferred the time interval and 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 ?I Impacting) (patient ?I ?H) (holdsDuring (ImmediateFutureFn ?I) (attribute ?H (ImpairedBodyPartFn Brain)))) (modalAttribute (holdsDuring (ImmediateFutureFn ?I) (attribute ?H Concussion)) Likely))	Medicine.kif 1320-1332	If a process is an instance of impacting and an entity is a patient of the process and ImpairedBodyPartFn Brain is an attribute of the entity holds during immediately after the process, then the statement Concussion is an attribute of the entity holds during immediately after the process has the modal force of Likely
(=> (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 13259-13270	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 NerveCell 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

(=> (and (instance ?S Seizure) (experiencer ?S ?A)) (exists (?B) (and (instance ?B Brain) (part ?B ?A) (located ?S ?B))))	Medicine.kif 1606-1614	If a process is an instance of Seizure and an agent experiences the process, then there exists an object such that the object is an instance of Brain and the object is a part of the agent and the process is located at the object
(=> (holdsDuring ?T (attribute ?H TraumaticBrainInjury)) (holdsDuring ?T (attribute ?H (ImpairedBodyPartFn Brain))))	Medicine.kif 1286-1291	If TraumaticBrainInjury is an attribute of an entity holds during a time position, then ImpairedBodyPartFn Brain is an attribute of the entity holds during the time position
(=> (instance ?HA Stroke) (exists (?B) (and (instance ?B Brain) (located ?HA ?B))))	Mid-level-ontology.kif 13233-13238	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 13424-13429	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

statement

(equal BrainDead
(DeadOrMissingBodyPartFn Brain))

Medicine.kif 5196-5196

equal BrainDead and DeadOrMissingBodyPartFn Brain

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