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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 11698-11699
(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 11697-11697 Nervous system is a subclass of animal anatomical structure
(subclass NervousSystem Organ) Mid-level-ontology.kif 11696-11696 Nervous system is a subclass of organ

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


(termFormat ChineseLanguage NervousSystem "神经系统") domainEnglishFormat.kif 40207-40207
(termFormat ChineseTraditionalLanguage NervousSystem "神經系統") domainEnglishFormat.kif 40206-40206
(termFormat EnglishLanguage NervousSystem "nervous system") domainEnglishFormat.kif 40205-40205

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


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

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


(=>
    (and
        (instance ?MS MultipleSclerosis)
        (experiencer ?MS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NervousSystem)))
Medicine.kif 2239-2244
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?C ?S))))
Mid-level-ontology.kif 11207-11212
(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))
Mid-level-ontology.kif 11008-11013