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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LeftRibBone
LeftRibBone

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


(documentation LeftRibBone EnglishLanguage "left rib bone") Anatomy.kif 277-277
(subclass LeftRibBone RibBone) Anatomy.kif 275-275

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


(subclass LeftFalseRib10Bone LeftRibBone) Anatomy.kif 449-449
(subclass LeftFalseRib11Bone LeftRibBone) Anatomy.kif 464-464
(subclass LeftFalseRib12Bone LeftRibBone) Anatomy.kif 481-481
(subclass LeftFalseRib8Bone LeftRibBone) Anatomy.kif 419-419
(subclass LeftFalseRib9Bone LeftRibBone) Anatomy.kif 434-434
(subclass LeftTrueRib1Bone LeftRibBone) Anatomy.kif 298-298
(subclass LeftTrueRib2Bone LeftRibBone) Anatomy.kif 313-313
(subclass LeftTrueRib3Bone LeftRibBone) Anatomy.kif 328-328
(subclass LeftTrueRib4Bone LeftRibBone) Anatomy.kif 343-343
(subclass LeftTrueRib5Bone LeftRibBone) Anatomy.kif 358-358
(subclass LeftTrueRib6Bone LeftRibBone) Anatomy.kif 373-373
(subclass LeftTrueRib7Bone LeftRibBone) Anatomy.kif 388-388
(termFormat EnglishLanguage LeftRibBone "left rib bone") Anatomy.kif 276-276


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