Brain - Sigma Knowledge base Browser

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 12744-12744
(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 24811-24811	Instance of brain are always initially part of instances of human
(subclass Brain AnimalAnatomicalStructure)	Mid-level-ontology.kif 12743-12743	Brain is a subclass of animal anatomical structure
(subclass Brain VitalOrgan)	Mid-level-ontology.kif 12742-12742	Brain is a subclass of vital organ

appearance as argument number 2

(partTypes FrontalLobe Brain)	Mid-level-ontology.kif 12771-12771	Every frontal lobe is a part of a brain
(partTypes Medulla Brain)	Mid-level-ontology.kif 12749-12749	Every medulla is a part of a brain
(partTypes OccipitalLobes Brain)	Mid-level-ontology.kif 12778-12778	Every occipital lobes is a part of a brain
(partTypes ParietalLobe Brain)	Mid-level-ontology.kif 12763-12763	Every parietal lobe is a part of a brain
(partTypes Pons Brain)	Mid-level-ontology.kif 12755-12755	Every pons is a part of a brain
(partTypes TemporalLobes Brain)	Mid-level-ontology.kif 12785-12785	Every temporal lobes is a part of a brain
(termFormat ChineseLanguage Brain "脑")	domainEnglishFormat.kif 11840-11840	Every temporal lobes is a part of a brain
(termFormat ChineseTraditionalLanguage Brain "腦")	domainEnglishFormat.kif 11839-11839	Every temporal lobes is a part of a brain
(termFormat EnglishLanguage Brain "brain")	domainEnglishFormat.kif 11838-11838	Every temporal lobes is a part of a 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 12811-12828	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 ?I Impacting) (patient ?I ?H) (holdsDuring (ImmediateFutureFn ?I) (attribute ?H (ImpairedBodyPartFn Brain)))) (modalAttribute (holdsDuring (ImmediateFutureFn ?I) (attribute ?H Concussion)) Likely))	Medicine.kif 1316-1328	If a process is an instance of impacting and an entity is a patient of the process and impaired body part fn brain is an attribute of the entity holds during immediately after the process, then the statement mild traumatic brain injury 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 12830-12841	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

(=> (and (instance ?S Seizure) (experiencer ?S ?A)) (exists (?B) (and (instance ?B Brain) (part ?B ?A) (located ?S ?B))))	Medicine.kif 1601-1609	If a process is an instance of epileptic 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 1282-1287	If TBI is an attribute of an entity holds during a time position, then impaired body part fn 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 12804-12809	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 12995-13000	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 5176-5176

Brain dead is equal to dead or missing body part fn brain

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