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 11447-11448
(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 11446-11446 NervousSystem est une sous-classe de AnimalAnatomicalStructure
(subclass NervousSystem Organ) Mid-level-ontology.kif 11445-11445 NervousSystem est une sous-classe de organe

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


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

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


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

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 10956-10961
(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))
Mid-level-ontology.kif 10757-10762