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 RightRibBone est une sous-classe de RibBone

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


(subclass RightFalseRib10Bone RightRibBone) Anatomy.kif 455-455 RightFalseRib10Bone est une sous-classe de RightRibBone
(subclass RightFalseRib11Bone RightRibBone) Anatomy.kif 470-470 RightFalseRib11Bone est une sous-classe de RightRibBone
(subclass RightFalseRib12Bone RightRibBone) Anatomy.kif 487-487 RightFalseRib12Bone est une sous-classe de RightRibBone
(subclass RightFalseRib8Bone RightRibBone) Anatomy.kif 425-425 RightFalseRib8Bone est une sous-classe de RightRibBone
(subclass RightFalseRib9Bone RightRibBone) Anatomy.kif 440-440 RightFalseRib9Bone est une sous-classe de RightRibBone
(subclass RightTrueRib1Bone RightRibBone) Anatomy.kif 304-304 RightTrueRib1Bone est une sous-classe de RightRibBone
(subclass RightTrueRib2Bone RightRibBone) Anatomy.kif 319-319 RightTrueRib2Bone est une sous-classe de RightRibBone
(subclass RightTrueRib3Bone RightRibBone) Anatomy.kif 334-334 RightTrueRib3Bone est une sous-classe de RightRibBone
(subclass RightTrueRib4Bone RightRibBone) Anatomy.kif 349-349 RightTrueRib4Bone est une sous-classe de RightRibBone
(subclass RightTrueRib5Bone RightRibBone) Anatomy.kif 364-364 RightTrueRib5Bone est une sous-classe de RightRibBone
(subclass RightTrueRib6Bone RightRibBone) Anatomy.kif 379-379 RightTrueRib6Bone est une sous-classe de RightRibBone
(subclass RightTrueRib7Bone RightRibBone) Anatomy.kif 394-394 RightTrueRib7Bone est une sous-classe de RightRibBone
(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