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 277-277
(subclass LeftRibBone RibBone) Anatomy.kif 275-275 Left rib bone is a subclass of rib bone

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


(subclass LeftFalseRib10Bone LeftRibBone) Anatomy.kif 449-449 Left false rib 10 bone is a subclass of left rib bone
(subclass LeftFalseRib11Bone LeftRibBone) Anatomy.kif 464-464 Left false rib 11 bone is a subclass of left rib bone
(subclass LeftFalseRib12Bone LeftRibBone) Anatomy.kif 481-481 Left false rib 12 bone is a subclass of left rib bone
(subclass LeftFalseRib8Bone LeftRibBone) Anatomy.kif 419-419 Left false rib 8 bone is a subclass of left rib bone
(subclass LeftFalseRib9Bone LeftRibBone) Anatomy.kif 434-434 Left false rib 9 bone is a subclass of left rib bone
(subclass LeftTrueRib1Bone LeftRibBone) Anatomy.kif 298-298 Left true rib 1 bone is a subclass of left rib bone
(subclass LeftTrueRib2Bone LeftRibBone) Anatomy.kif 313-313 Left true rib 2 bone is a subclass of left rib bone
(subclass LeftTrueRib3Bone LeftRibBone) Anatomy.kif 328-328 Left true rib 3 bone is a subclass of left rib bone
(subclass LeftTrueRib4Bone LeftRibBone) Anatomy.kif 343-343 Left true rib 4 bone is a subclass of left rib bone
(subclass LeftTrueRib5Bone LeftRibBone) Anatomy.kif 358-358 Left true rib 5 bone is a subclass of left rib bone
(subclass LeftTrueRib6Bone LeftRibBone) Anatomy.kif 373-373 Left true rib 6 bone is a subclass of left rib bone
(subclass LeftTrueRib7Bone LeftRibBone) Anatomy.kif 388-388 Left true rib 7 bone is a subclass of left rib bone
(termFormat EnglishLanguage LeftRibBone "left rib bone") Anatomy.kif 276-276 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