Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - NervousSystem
NervousSystem(nervous system)
parasympathetic

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


(subclass NervousSystem Organ) Mid-level-ontology.kif 12945-12945 Nervous system is a subclass of organ
(subclass NervousSystem AnimalAnatomicalStructure) Mid-level-ontology.kif 12946-12946 Nervous system is a subclass of animal anatomical structure
(documentation NervousSystem EnglishLanguage "A system in Vertebrates that is made up of the Brain, the spinal cord, nerves, etc.") Mid-level-ontology.kif 12947-12948 Nervous system is a subclass of animal anatomical structure
(externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Nervous_system_diagram.png") pictureList.kif 6724-6724 Nervous system is a subclass of animal anatomical structure
(externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Neuro_logo.png") pictureList.kif 7419-7419 Nervous system is a subclass of animal anatomical structure

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


(termFormat EnglishLanguage NervousSystem "nervous system") domainEnglishFormat.kif 40183-40183
(termFormat ChineseTraditionalLanguage NervousSystem "神經系統") domainEnglishFormat.kif 40184-40184
(termFormat ChineseLanguage NervousSystem "神经系统") domainEnglishFormat.kif 40185-40185

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


(=>
    (and
        (instance ?S NervousSystem)
        (part ?S ?A)
        (instance ?A Animal))
    (instance ?A Vertebrate))		 Mid-level-ontology.kif 12950-12955 If X is an instance of nervous system, X is a part of Y, and Y is an instance of animal, then Y is an instance of vertebrate

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


(=>
    (instance ?N NerveCell)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?N ?S))))		 Mid-level-ontology.kif 12214-12219 If X is an instance of nerve cell, then there exists Y such that Y is an instance of nervous system and X is a part of Y
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S NervousSystem)
            (part ?C ?S))))		 Mid-level-ontology.kif 12434-12439 If X is an instance of spinal cord, then there exists Y such that Y is an instance of nervous system and X is a part of Y
(=>
    (and
        (instance ?MS MultipleSclerosis)
        (experiencer ?MS ?H))
    (attribute ?H
        (ImpairedBodyPartFn NervousSystem)))		 Medicine.kif 2257-2262 If X is an instance of MS and Y experiences X, then impaired body part fn nervous system is an attribute of Y