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


KB Term:  Term intersection
English Word: 

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


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