Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass RightRibBone RibBone) Anatomy.kif 279-279
(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
(subclass RightFalseRib8Bone RightRibBone) Anatomy.kif 425-425
(subclass RightFalseRib9Bone RightRibBone) Anatomy.kif 440-440
(subclass RightFalseRib10Bone RightRibBone) Anatomy.kif 455-455
(subclass RightFalseRib11Bone RightRibBone) Anatomy.kif 470-470
(subclass RightFalseRib12Bone RightRibBone) Anatomy.kif 487-487


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