TreeView Knowledge Base Browser - Brain

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

FlexorHallucisLongusFlexorHallucisBrevisMuscle

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11875-11875
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 288-288
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 51-51
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23749-23749	Instance of brain are always initially part of instances of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11874-11874	Brain is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11873-11873	Brain is a subclass of vital organ

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11902-11902	Every frontal lobe is a part of a brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11880-11880	Every medulla is a part of a brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11909-11909	Every occipital lobes is a part of a brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11894-11894	Every parietal lobe is a part of a brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11886-11886	Every pons is a part of a brain
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11916-11916	Every temporal lobes is a part of a brain
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11825-11825
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11824-11824
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 11823-11823

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11942-11959	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1328-1340	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11961-11972	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

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1613-1621	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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1294-1299	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11935-11940	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12126-12131	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

No TPTP formula. May not be expressible in strict first order.

Medicine.kif 5188-5188

Brain dead is equal to dead or missing body part fn 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