Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 Spinal column is a subclass of animal anatomical structure
(subclass SpinalColumn Organ) Mid-level-ontology.kif 11156-11156 Spinal column is a subclass of organ

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 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 11181-11186


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 is open source software produced by Articulate Software and its partners