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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VertebralRibBone
VertebralRibBone

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


(documentation VertebralRibBone EnglishLanguage "vertebral rib bone") Anatomy.kif 413-413
(subclass VertebralRibBone FalseRibBone) Anatomy.kif 411-411 VertebralRibBone est une sous-classe de FalseRibBone

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


(subclass LeftFalseRib11Bone VertebralRibBone) Anatomy.kif 462-462 LeftFalseRib11Bone est une sous-classe de VertebralRibBone
(subclass LeftFalseRib12Bone VertebralRibBone) Anatomy.kif 477-477 LeftFalseRib12Bone est une sous-classe de VertebralRibBone
(subclass RightFalseRib11Bone VertebralRibBone) Anatomy.kif 468-468 RightFalseRib11Bone est une sous-classe de VertebralRibBone
(subclass RightFalseRib12Bone VertebralRibBone) Anatomy.kif 483-483 RightFalseRib12Bone est une sous-classe de VertebralRibBone
(termFormat EnglishLanguage VertebralRibBone "floating rib") Anatomy.kif 415-415
(termFormat EnglishLanguage VertebralRibBone "vertebral rib bone") Anatomy.kif 412-412


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