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 10940-10942
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 1/ 11/ Gray666.png") pictureList.kif 7953-7953
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ 6/ 68/ Gray663.png") pictureList.kif 7954-7954
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Gray664.png") pictureList.kif 7955-7955
(externalImage SpinalColumn "http://upload.wikimedia.org/wikipedia/en/9/ 93/ Somatosensory.jpg") pictureList.kif 7952-7952
(subclass SpinalColumn AnimalAnatomicalStructure) Mid-level-ontology.kif 10939-10939 SpinalColumnAnimalAnatomicalStructuresubclass では %n
(subclass SpinalColumn Organ) Mid-level-ontology.kif 10938-10938 SpinalColumn臓器subclass では %n

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


(termFormat ChineseLanguage SpinalColumn "脊柱") domainEnglishFormat.kif 54636-54636
(termFormat ChineseTraditionalLanguage SpinalColumn "脊柱") domainEnglishFormat.kif 54635-54635
(termFormat EnglishLanguage SpinalColumn "spinal column") domainEnglishFormat.kif 54634-54634

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 10944-10950 微粒子オブジェクト脊椎動物instance では %n 微粒子オブジェクト 微粒子オブジェクト動物instance では %n 微粒子オブジェクト 微粒子オブジェクトcomponent では %n 微粒子オブジェクトSpinalColumninstance では %n
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))
Mid-level-ontology.kif 10963-10968


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