No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1000-1000 | 子類 PelvicBone and Bone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1006-1006 | 子類 LeftOssaCoxae and PelvicBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1011-1011 | 子類 RightOssaCoxae and PelvicBone |