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 10782-10782
(externalImage NerveCell "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Nerve.nida.jpg") pictureList.kif 138-138
(subclass NerveCell AnimalAnatomicalStructure) Mid-level-ontology.kif 10781-10781 NerveCell è una sottoclasse di AnimalAnatomicalStructure
(subclass NerveCell SomaticCell) Mid-level-ontology.kif 10780-10780 NerveCell è una sottoclasse di SomaticCell

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


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

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


(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))		 Mid-level-ontology.kif 10784-10789
(=>
    (instance ?NC NerveCell)
    (material NervousTissue ?NC))		 Merge.kif 15290-15292

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 11942-11959
(=>
    (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 11961-11972
(=>
    (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 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