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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpinalColumn

Sigma KEE - SpinalColumn
SpinalColumn(spinal column)
back, backbone, chine, rachis, spinal_column, spine, vertebral_column

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10940-10942
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7953-7953
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7954-7954
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7955-7955
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7952-7952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10939-10939 Spinal column is a subclass of animal anatomical structure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10938-10938 Spinal column is a subclass of organ

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54636-54636
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54635-54635
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54634-54634

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10944-10950 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
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10963-10968


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