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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftRibBone
LeftRibBone(left rib bone)

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


(documentation LeftRibBone EnglishLanguage "left rib bone") Anatomy.kif 276-276
(subclass LeftRibBone RibBone) Anatomy.kif 274-274 Left rib bone is a subclass of rib bone

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


(subclass LeftFalseRib10Bone LeftRibBone) Anatomy.kif 448-448 Left false rib 10 bone is a subclass of left rib bone
(subclass LeftFalseRib11Bone LeftRibBone) Anatomy.kif 463-463 Left false rib 11 bone is a subclass of left rib bone
(subclass LeftFalseRib12Bone LeftRibBone) Anatomy.kif 480-480 Left false rib 12 bone is a subclass of left rib bone
(subclass LeftFalseRib8Bone LeftRibBone) Anatomy.kif 418-418 Left false rib 8 bone is a subclass of left rib bone
(subclass LeftFalseRib9Bone LeftRibBone) Anatomy.kif 433-433 Left false rib 9 bone is a subclass of left rib bone
(subclass LeftTrueRib1Bone LeftRibBone) Anatomy.kif 297-297 Left true rib 1 bone is a subclass of left rib bone
(subclass LeftTrueRib2Bone LeftRibBone) Anatomy.kif 312-312 Left true rib 2 bone is a subclass of left rib bone
(subclass LeftTrueRib3Bone LeftRibBone) Anatomy.kif 327-327 Left true rib 3 bone is a subclass of left rib bone
(subclass LeftTrueRib4Bone LeftRibBone) Anatomy.kif 342-342 Left true rib 4 bone is a subclass of left rib bone
(subclass LeftTrueRib5Bone LeftRibBone) Anatomy.kif 357-357 Left true rib 5 bone is a subclass of left rib bone
(subclass LeftTrueRib6Bone LeftRibBone) Anatomy.kif 372-372 Left true rib 6 bone is a subclass of left rib bone
(subclass LeftTrueRib7Bone LeftRibBone) Anatomy.kif 387-387 Left true rib 7 bone is a subclass of left rib bone
(termFormat EnglishLanguage LeftRibBone "left rib bone") Anatomy.kif 275-275 Left true rib 7 bone is a subclass of left rib bone


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