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 281-281
(subclass RightRibBone RibBone) Anatomy.kif 279-279 Right rib bone is a subclass of rib bone

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


(subclass RightFalseRib10Bone RightRibBone) Anatomy.kif 455-455 Right false rib 10 bone is a subclass of right rib bone
(subclass RightFalseRib11Bone RightRibBone) Anatomy.kif 470-470 Right false rib 11 bone is a subclass of right rib bone
(subclass RightFalseRib12Bone RightRibBone) Anatomy.kif 487-487 Right false rib 12 bone is a subclass of right rib bone
(subclass RightFalseRib8Bone RightRibBone) Anatomy.kif 425-425 Right false rib 8 bone is a subclass of right rib bone
(subclass RightFalseRib9Bone RightRibBone) Anatomy.kif 440-440 Right false rib 9 bone is a subclass of right rib bone
(subclass RightTrueRib1Bone RightRibBone) Anatomy.kif 304-304 Right true rib 1 bone is a subclass of right rib bone
(subclass RightTrueRib2Bone RightRibBone) Anatomy.kif 319-319 Right true rib 2 bone is a subclass of right rib bone
(subclass RightTrueRib3Bone RightRibBone) Anatomy.kif 334-334 Right true rib 3 bone is a subclass of right rib bone
(subclass RightTrueRib4Bone RightRibBone) Anatomy.kif 349-349 Right true rib 4 bone is a subclass of right rib bone
(subclass RightTrueRib5Bone RightRibBone) Anatomy.kif 364-364 Right true rib 5 bone is a subclass of right rib bone
(subclass RightTrueRib6Bone RightRibBone) Anatomy.kif 379-379 Right true rib 6 bone is a subclass of right rib bone
(subclass RightTrueRib7Bone RightRibBone) Anatomy.kif 394-394 Right true rib 7 bone is a subclass of right rib bone
(termFormat EnglishLanguage RightRibBone "right rib bone") Anatomy.kif 280-280 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