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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RightRibBone
RightRibBone(right rib bone)

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


(documentation RightRibBone EnglishLanguage "right rib bone") Anatomy.kif 280-280
(subclass RightRibBone RibBone) Anatomy.kif 278-278 Right rib bone is a subclass of rib bone

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


(subclass RightFalseRib10Bone RightRibBone) Anatomy.kif 454-454 Right false rib 10 bone is a subclass of right rib bone
(subclass RightFalseRib11Bone RightRibBone) Anatomy.kif 469-469 Right false rib 11 bone is a subclass of right rib bone
(subclass RightFalseRib12Bone RightRibBone) Anatomy.kif 486-486 Right false rib 12 bone is a subclass of right rib bone
(subclass RightFalseRib8Bone RightRibBone) Anatomy.kif 424-424 Right false rib 8 bone is a subclass of right rib bone
(subclass RightFalseRib9Bone RightRibBone) Anatomy.kif 439-439 Right false rib 9 bone is a subclass of right rib bone
(subclass RightTrueRib1Bone RightRibBone) Anatomy.kif 303-303 Right true rib 1 bone is a subclass of right rib bone
(subclass RightTrueRib2Bone RightRibBone) Anatomy.kif 318-318 Right true rib 2 bone is a subclass of right rib bone
(subclass RightTrueRib3Bone RightRibBone) Anatomy.kif 333-333 Right true rib 3 bone is a subclass of right rib bone
(subclass RightTrueRib4Bone RightRibBone) Anatomy.kif 348-348 Right true rib 4 bone is a subclass of right rib bone
(subclass RightTrueRib5Bone RightRibBone) Anatomy.kif 363-363 Right true rib 5 bone is a subclass of right rib bone
(subclass RightTrueRib6Bone RightRibBone) Anatomy.kif 378-378 Right true rib 6 bone is a subclass of right rib bone
(subclass RightTrueRib7Bone RightRibBone) Anatomy.kif 393-393 Right true rib 7 bone is a subclass of right rib bone
(termFormat EnglishLanguage RightRibBone "right rib bone") Anatomy.kif 279-279 Right true rib 7 bone is a subclass of right 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