Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  NerveCell

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 10259-10259
(externalImage NerveCell "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Nerve.nida.jpg") pictureList.kif 138-138
(subclass NerveCell AnimalAnatomicalStructure) Mid-level-ontology.kif 10258-10258 Nerve cell is a subclass of animal anatomical structure
(subclass NerveCell Cell) Mid-level-ontology.kif 10257-10257 Nerve cell is a subclass of cell

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


(termFormat ChineseLanguage NerveCell "神经细胞") domainEnglishFormat.kif 40158-40158
(termFormat ChineseTraditionalLanguage NerveCell "神經細胞") domainEnglishFormat.kif 40157-40157
(termFormat EnglishLanguage NerveCell "nerve cell") domainEnglishFormat.kif 40156-40156

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


(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))
Mid-level-ontology.kif 10261-10266
(=>
    (instance ?NC NerveCell)
    (material NervousTissue ?NC))
Merge.kif 14962-14964

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 11396-11413
(=>
    (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 11415-11426


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