NerveCell |
appearance as argument number 1 |
(documentation NerveCell EnglishLanguage "The Cells that make up a NervousSystem.") | Mid-level-ontology.kif 10973-10973 | |
(externalImage NerveCell "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3e/ Nerve.nida.jpg") | pictureList.kif 138-138 | |
(subclass NerveCell AnimalAnatomicalStructure) | Mid-level-ontology.kif 10972-10972 | |
(subclass NerveCell SomaticCell) | Mid-level-ontology.kif 10971-10971 |
appearance as argument number 2 |
(termFormat ChineseLanguage NerveCell "神经细胞") | domainEnglishFormat.kif 40206-40206 | |
(termFormat ChineseTraditionalLanguage NerveCell "神經細胞") | domainEnglishFormat.kif 40205-40205 | |
(termFormat EnglishLanguage NerveCell "nerve cell") | domainEnglishFormat.kif 40204-40204 |
antecedent |
(=> (instance ?N NerveCell) (exists (?S) (and (instance ?S NervousSystem) (part ?N ?S)))) |
Mid-level-ontology.kif 10975-10980 | |
(=> (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 12133-12150 | |
(=> (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 12152-12163 | |
(=> (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 |