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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NervousSystem

Sigma KEE - NervousSystem
NervousSystem(nervous system)
parasympathetic

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 11474-11475
(externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Nervous_system_diagram.png") pictureList.kif 6725-6725
(externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Neuro_logo.png") pictureList.kif 7420-7420
(subclass NervousSystem AnimalAnatomicalStructure) Mid-level-ontology.kif 11473-11473 Nervous system is a subclass of animal anatomical structure
(subclass NervousSystem Organ) Mid-level-ontology.kif 11472-11472 Nervous system is a subclass of organ

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


(termFormat ChineseLanguage NervousSystem "神经系统") domainEnglishFormat.kif 40181-40181
(termFormat ChineseTraditionalLanguage NervousSystem "神經系統") domainEnglishFormat.kif 40180-40180
(termFormat EnglishLanguage NervousSystem "nervous system") domainEnglishFormat.kif 40179-40179

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


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

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 10983-10988
(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))
Mid-level-ontology.kif 10784-10789