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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RightRibBone
RightRibBone

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


(documentation RightRibBone EnglishLanguage "right rib bone") Anatomy.kif 281-281
(subclass RightRibBone RibBone) Anatomy.kif 279-279

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


(subclass RightFalseRib10Bone RightRibBone) Anatomy.kif 455-455
(subclass RightFalseRib11Bone RightRibBone) Anatomy.kif 470-470
(subclass RightFalseRib12Bone RightRibBone) Anatomy.kif 487-487
(subclass RightFalseRib8Bone RightRibBone) Anatomy.kif 425-425
(subclass RightFalseRib9Bone RightRibBone) Anatomy.kif 440-440
(subclass RightTrueRib1Bone RightRibBone) Anatomy.kif 304-304
(subclass RightTrueRib2Bone RightRibBone) Anatomy.kif 319-319
(subclass RightTrueRib3Bone RightRibBone) Anatomy.kif 334-334
(subclass RightTrueRib4Bone RightRibBone) Anatomy.kif 349-349
(subclass RightTrueRib5Bone RightRibBone) Anatomy.kif 364-364
(subclass RightTrueRib6Bone RightRibBone) Anatomy.kif 379-379
(subclass RightTrueRib7Bone RightRibBone) Anatomy.kif 394-394
(termFormat EnglishLanguage RightRibBone "right rib bone") Anatomy.kif 280-280


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