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 10967-10969
(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 10966-10966 子類 脊柱 and 動物解剖結構
(subclass SpinalColumn Organ) Mid-level-ontology.kif 10965-10965 子類 脊柱 and Organ

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


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

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


(<=>
    (instance ?VERT Vertebrate)
    (exists (?SPINE)
        (and
            (instance ?VERT Animal)
            (component ?SPINE ?VERT)
            (instance ?SPINE SpinalColumn))))
Mid-level-ontology.kif 10971-10977 CorpuscularObject and Vertebrate CorpuscularObject CorpuscularObject and Animal 零件 CorpuscularObject and CorpuscularObject CorpuscularObject and 脊柱
(=>
    (instance ?C SpinalCord)
    (exists (?S)
        (and
            (instance ?S SpinalColumn)
            (contains ?S ?C))))
Mid-level-ontology.kif 10990-10995


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