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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 12271-12273
(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 12270-12270
(subclass SpinalColumn Organ) Mid-level-ontology.kif 12269-12269

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


(termFormat ChineseLanguage SpinalColumn "脊柱") domainEnglishFormat.kif 54640-54640
(termFormat ChineseTraditionalLanguage SpinalColumn "脊柱") domainEnglishFormat.kif 54639-54639
(termFormat EnglishLanguage SpinalColumn "spinal column") domainEnglishFormat.kif 54638-54638

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 12275-12281
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))
Mid-level-ontology.kif 12294-12299


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