SpinalColumn |
appearance as argument number 1 |
(documentation SpinalColumn EnglishLanguage "A flexible column made out of bones called vertebrae. The main function of the SpinalColumn is to protect the spinal cord.") | Mid-level-ontology.kif 11158-11160 | |
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Gray666.png") | pictureList.kif 7952-7952 | |
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Gray663.png") | pictureList.kif 7953-7953 | |
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Gray664.png") | pictureList.kif 7954-7954 | |
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/en/9/ 93/ Somatosensory.jpg") | pictureList.kif 7951-7951 | |
(subclass SpinalColumn AnimalAnatomicalStructure) | Mid-level-ontology.kif 11157-11157 | |
(subclass SpinalColumn Organ) | Mid-level-ontology.kif 11156-11156 |
appearance as argument number 2 |
(termFormat ChineseLanguage SpinalColumn "脊柱") | domainEnglishFormat.kif 54671-54671 | |
(termFormat ChineseTraditionalLanguage SpinalColumn "脊柱") | domainEnglishFormat.kif 54670-54670 | |
(termFormat EnglishLanguage SpinalColumn "spinal column") | domainEnglishFormat.kif 54669-54669 |
consequent |
(<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 11162-11168 | |
(=> (instance ?C SpinalCord) (exists (?S) (and (instance ?S SpinalColumn) (contains ?S ?C)))) |
Mid-level-ontology.kif 11181-11186 |