Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
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 |
|
|
| 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 |
| statement |
|
|
| (subclass NeuroInflammation (InflammationFn NervousSystem)) |
Medicine.kif 2984-2984 | Neuro-inflammation is a subclass of inflammation of nervous system |
|