NerveCell - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - NerveCell

NerveCell(nerve cell)

Pacinian_corpuscle, center, centre, free_nerve_ending, gangliocyte, ganglion_cell, inferior_colliculus, nerve_center, nerve_centre, olfactory_brain, proprioceptor, rhinencephalon, superior_colliculus

appearance as argument number 1

(documentation NerveCell EnglishLanguage "The Cells that make up a NervousSystem.")	Mid-level-ontology.kif 10973-10973
(externalImage NerveCell "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Nerve.nida.jpg")	pictureList.kif 138-138
(subclass NerveCell AnimalAnatomicalStructure)	Mid-level-ontology.kif 10972-10972	Nerve cell is a subclass of animal anatomical structure
(subclass NerveCell SomaticCell)	Mid-level-ontology.kif 10971-10971	Nerve cell is a subclass of somatic cell

appearance as argument number 2

(termFormat ChineseLanguage NerveCell "神经细胞")	domainEnglishFormat.kif 40211-40211
(termFormat ChineseTraditionalLanguage NerveCell "神經細胞")	domainEnglishFormat.kif 40210-40210
(termFormat EnglishLanguage NerveCell "nerve cell")	domainEnglishFormat.kif 40209-40209

antecedent

(=> (instance ?N NerveCell) (exists (?S) (and (instance ?S NervousSystem) (part ?N ?S))))	Mid-level-ontology.kif 10975-10980	If an object is an instance of nerve cell, then there exists another object such that the other object is an instance of nervous system and the object is a part of the other object
(=> (instance ?NC NerveCell) (material NervousTissue ?NC))	Merge.kif 15290-15292	If a corpuscular object is an instance of nerve cell, then the corpuscular object is made of nervous tissue

consequent

(=> (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 12133-12150	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 12152-12163	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
(=> (and (instance ?SS MyastheniaGravis) (experiencer ?SS ?H)) (attribute ?H (ImpairedBodyPartFn NerveCell)))	Medicine.kif 2406-2411	If a process is an instance of myasthenia gravis and an agent experiences the process, then impaired body part fn nerve cell is an attribute of the agent
(=> (instance ?N Nerve) (exists (?NC) (and (instance ?NC NerveCell) (part ?NC ?N))))	Anatomy.kif 1910-1915	If an object is an instance of nerve, then there exists the objectC such that the objectC is an instance of nerve cell and the objectC is a part of the object

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