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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - NerveCell
NerveCell

appearance as argument number 1
-------------------------


(documentation NerveCell EnglishLanguage "The Cells that make up a NervousSystem.") Mid-level-ontology.kif 12086-12086
(externalImage NerveCell "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Nerve.nida.jpg") pictureList.kif 138-138
(subclass NerveCell AnimalAnatomicalStructure) Mid-level-ontology.kif 12085-12085
(subclass NerveCell SomaticCell) Mid-level-ontology.kif 12084-12084

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


(termFormat ChineseLanguage NerveCell "神经细胞") domainEnglishFormat.kif 40186-40186
(termFormat ChineseTraditionalLanguage NerveCell "神經細胞") domainEnglishFormat.kif 40185-40185
(termFormat EnglishLanguage NerveCell "nerve cell") domainEnglishFormat.kif 40184-40184

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


(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))
Mid-level-ontology.kif 12088-12093
(=>
    (instance ?NC NerveCell)
    (material NervousTissue ?NC))
Merge.kif 15397-15399

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 13246-13263
(=>
    (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 13265-13276
(=>
    (and
        (instance ?SS MyastheniaGravis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NerveCell)))
Medicine.kif 2404-2409
(=>
    (instance ?N Nerve)
    (exists (?NC)
        (and
            (instance ?NC NerveCell)
            (part ?NC ?N))))
Anatomy.kif 1947-1952


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