Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage NerveCell "nerve cell") domainEnglishFormat.kif 40177-40177
(termFormat ChineseTraditionalLanguage NerveCell "神經細胞") domainEnglishFormat.kif 40178-40178
(termFormat ChineseLanguage NerveCell "神经细胞") domainEnglishFormat.kif 40179-40179

antecedent
-------------------------


(=>
    (instance ?NC NerveCell)
    (material NervousTissue ?NC))		 Mid-level-ontology.kif 12210-12212 If X is an instance of nerve cell, then X is made of nervous tissue
(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))		 Mid-level-ontology.kif 12214-12219 If X is an instance of nerve cell, then there exists Y such that Y is an instance of nervous system and X is a part of Y

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 13415-13432 If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then All of the following hold: (1) there exists Z such that Z is an instance of nerve cell (2) Z is a part of Y (3) there don't exist W (4) V such that W is an instance of liquid motion (5) the object transferred in W is V (6) V is an instance of blood (7) W takes place during the time of existence of X (8) W ends up at Z
(=>
    (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 13434-13445 If X is an instance of stroke, Y is an instance of brain, and X is located at Y, then there exist Z, W such that Z is an instance of nerve cell, Z is located at Y, W is an instance of destruction, W is a subprocess of X, and Z is a patient of W
(=>
    (instance ?N Nerve)
    (exists (?NC)
        (and
            (instance ?NC NerveCell)
            (part ?NC ?N))))		 Anatomy.kif 1935-1940 If X is an instance of nerve, then there exists Y such that Y is an instance of nerve cell and Y is a part of X
(=>
    (and
        (instance ?SS MyastheniaGravis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NerveCell)))		 Medicine.kif 2412-2417 If X is an instance of myasthenia gravis and Y experiences X, then impaired body part fn nerve cell is an attribute of Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners