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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NerveCell

Sigma KEE - NerveCell
NerveCell(神經細胞)

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


(documentation NerveCell EnglishLanguage "The Cells that make up a NervousSystem.") Mid-level-ontology.kif 10755-10755
(externalImage NerveCell "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Nerve.nida.jpg") pictureList.kif 138-138
(subclass NerveCell AnimalAnatomicalStructure) Mid-level-ontology.kif 10754-10754 子類 神經細胞 and 動物解剖結構
(subclass NerveCell SomaticCell) Mid-level-ontology.kif 10753-10753 子類 神經細胞 and SomaticCell

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


(termFormat ChineseLanguage NerveCell "神经细胞") domainEnglishFormat.kif 40173-40173
(termFormat ChineseTraditionalLanguage NerveCell "神經細胞") domainEnglishFormat.kif 40172-40172
(termFormat EnglishLanguage NerveCell "nerve cell") domainEnglishFormat.kif 40171-40171

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


(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))
Mid-level-ontology.kif 10757-10762
(=>
    (instance ?NC NerveCell)
    (material NervousTissue ?NC))
Merge.kif 15244-15246

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 11915-11932
(=>
    (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 11934-11945
(=>
    (and
        (instance ?SS MyastheniaGravis)
        (experiencer ?SS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NerveCell)))
Medicine.kif 2406-2411
(=>
    (instance ?N Nerve)
    (exists (?NC)
        (and
            (instance ?NC NerveCell)
            (part ?NC ?N))))
Anatomy.kif 1910-1915


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