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

Formal Language: 



Term 1: Term 2:

(subclass LeftRibBone RibBone) Anatomy.kif 275-275
(subclass LeftTrueRib1Bone LeftRibBone) Anatomy.kif 298-298
(subclass LeftTrueRib2Bone LeftRibBone) Anatomy.kif 313-313
(subclass LeftTrueRib3Bone LeftRibBone) Anatomy.kif 328-328
(subclass LeftTrueRib4Bone LeftRibBone) Anatomy.kif 343-343
(subclass LeftTrueRib5Bone LeftRibBone) Anatomy.kif 358-358
(subclass LeftTrueRib6Bone LeftRibBone) Anatomy.kif 373-373
(subclass LeftTrueRib7Bone LeftRibBone) Anatomy.kif 388-388
(subclass LeftFalseRib8Bone LeftRibBone) Anatomy.kif 419-419
(subclass LeftFalseRib9Bone LeftRibBone) Anatomy.kif 434-434
(subclass LeftFalseRib10Bone LeftRibBone) Anatomy.kif 449-449
(subclass LeftFalseRib11Bone LeftRibBone) Anatomy.kif 464-464
(subclass LeftFalseRib12Bone LeftRibBone) Anatomy.kif 481-481


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