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


KB Term:  Term intersection
English Word: 

  Abstract

 Sigma KEE - SpinalColumn
SpinalColumn(spinal column)
back, backbone, chine, rachis, spinal_column, spine, vertebral_column

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


(subclass SpinalColumn Organ) Mid-level-ontology.kif 12416-12416 Spinal column is a subclass of organ
(subclass SpinalColumn AnimalAnatomicalStructure) Mid-level-ontology.kif 12417-12417 Spinal column is a subclass of animal anatomical structure
(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 12418-12420 Spinal column is a subclass of animal anatomical structure
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/en/9/ 93/ Somatosensory.jpg") pictureList.kif 7951-7951 Spinal column is a subclass of animal anatomical structure
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Gray666.png") pictureList.kif 7952-7952 Spinal column is a subclass of animal anatomical structure
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Gray663.png") pictureList.kif 7953-7953 Spinal column is a subclass of animal anatomical structure
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Gray664.png") pictureList.kif 7954-7954 Spinal column is a subclass of animal anatomical structure

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


(termFormat EnglishLanguage SpinalColumn "spinal column") domainEnglishFormat.kif 54631-54631
(termFormat ChineseTraditionalLanguage SpinalColumn "脊柱") domainEnglishFormat.kif 54632-54632
(termFormat ChineseLanguage SpinalColumn "脊柱") domainEnglishFormat.kif 54633-54633

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))		 Mid-level-ontology.kif 12422-12428 X is an instance of vertebrate if, only if there exists Y such that X is an instance of animal, Y is a component of X, and Y is an instance of spinal column
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))		 Mid-level-ontology.kif 12441-12446 If X is an instance of spinal cord, then there exists Y such that Y is an instance of spinal column and Y contains X


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners