Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpinalColumn

Sigma KEE - SpinalColumn
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 10496-10498
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Gray666.png") pictureList.kif 7954-7954
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Gray663.png") pictureList.kif 7955-7955
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Gray664.png") pictureList.kif 7956-7956
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/en/9/ 93/ Somatosensory.jpg") pictureList.kif 7953-7953
(subclass SpinalColumn AnimalAnatomicalStructure) Mid-level-ontology.kif 10495-10495
(subclass SpinalColumn Organ) Mid-level-ontology.kif 10494-10494

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


(termFormat ChineseLanguage SpinalColumn "脊柱") domainEnglishFormat.kif 54615-54615
(termFormat ChineseTraditionalLanguage SpinalColumn "脊柱") domainEnglishFormat.kif 54614-54614
(termFormat EnglishLanguage SpinalColumn "spinal column") domainEnglishFormat.kif 54613-54613

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 10500-10506
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))
Mid-level-ontology.kif 10519-10524


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