|
|
   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 11001-11002 | |
| (externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ b/ ba/ Nervous_system_diagram.png") | pictureList.kif 6726-6726 | |
| (externalImage NervousSystem "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Neuro_logo.png") | pictureList.kif 7421-7421 | |
| (subclass NervousSystem AnimalAnatomicalStructure) | Mid-level-ontology.kif 11000-11000 | |
| (subclass NervousSystem Organ) | Mid-level-ontology.kif 10999-10999 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage NervousSystem "神经系统") | domainEnglishFormat.kif 40164-40164 | |
| (termFormat ChineseTraditionalLanguage NervousSystem "神經系統") | domainEnglishFormat.kif 40163-40163 | |
| (termFormat EnglishLanguage NervousSystem "nervous system") | domainEnglishFormat.kif 40162-40162 |
| antecedent |
|
|
| (=> (and (instance ?S NervousSystem) (part ?S ?A) (instance ?A Animal)) (instance ?A Vertebrate)) |
Mid-level-ontology.kif 11004-11009 |
| consequent |
|
|
| (=> (instance ?C SpinalCord) (exists (?S) (and (instance ?S NervousSystem) (part ?C ?S)))) |
Mid-level-ontology.kif 10512-10517 | |
| (=> (instance ?N NerveCell) (exists (?S) (and (instance ?S NervousSystem) (part ?N ?S)))) |
Mid-level-ontology.kif 10314-10319 |
|
|
|
