SpinalColumn(spinal column) | back, backbone, chine, rachis, spinal_column, spine, vertebral_column |
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 10967-10969 | |
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Gray666.png") | pictureList.kif 7953-7953 | |
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Gray663.png") | pictureList.kif 7954-7954 | |
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Gray664.png") | pictureList.kif 7955-7955 | |
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/en/9/ 93/ Somatosensory.jpg") | pictureList.kif 7952-7952 | |
(subclass SpinalColumn AnimalAnatomicalStructure) | Mid-level-ontology.kif 10966-10966 | Spinal column is a subclass of animal anatomical structure |
(subclass SpinalColumn Organ) | Mid-level-ontology.kif 10965-10965 | Spinal column is a subclass of organ |
appearance as argument number 2 |
(termFormat ChineseLanguage SpinalColumn "脊柱") | domainEnglishFormat.kif 54638-54638 | |
(termFormat ChineseTraditionalLanguage SpinalColumn "脊柱") | domainEnglishFormat.kif 54637-54637 | |
(termFormat EnglishLanguage SpinalColumn "spinal column") | domainEnglishFormat.kif 54636-54636 |
consequent |
(<=> (instance ?VERT Vertebrate) (exists (?SPINE) (and (instance ?VERT Animal) (component ?SPINE ?VERT) (instance ?SPINE SpinalColumn)))) |
Mid-level-ontology.kif 10971-10977 | A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column |
(=> (instance ?C SpinalCord) (exists (?S) (and (instance ?S SpinalColumn) (contains ?S ?C)))) |
Mid-level-ontology.kif 10990-10995 |
|