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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - NervousSystem
NervousSystem

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


(documentation NervousSystem EnglishLanguage "A system in Vertebrates that is made up of the Brain, the spinal cord, nerves, etc.") Mid-level-ontology.kif 11665-11666
(externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Nervous_system_diagram.png") pictureList.kif 6724-6724
(externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Neuro_logo.png") pictureList.kif 7419-7419
(subclass NervousSystem AnimalAnatomicalStructure) Mid-level-ontology.kif 11664-11664
(subclass NervousSystem Organ) Mid-level-ontology.kif 11663-11663

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


(termFormat ChineseLanguage NervousSystem "神经系统") domainEnglishFormat.kif 40212-40212
(termFormat ChineseTraditionalLanguage NervousSystem "神經系統") domainEnglishFormat.kif 40211-40211
(termFormat EnglishLanguage NervousSystem "nervous system") domainEnglishFormat.kif 40210-40210

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


(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))
Mid-level-ontology.kif 11668-11673

consequent
-------------------------


(=>
    (and
        (instance ?MS MultipleSclerosis)
        (experiencer ?MS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NervousSystem)))
Medicine.kif 2251-2256
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?C ?S))))
Mid-level-ontology.kif 11174-11179
(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))
Mid-level-ontology.kif 10975-10980