| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 279-279 | 子類 RightRibBone and RibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 304-304 | 子類 RightTrueRib1Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 319-319 | 子類 RightTrueRib2Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 334-334 | 子類 RightTrueRib3Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 349-349 | 子類 RightTrueRib4Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 364-364 | 子類 RightTrueRib5Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 379-379 | 子類 RightTrueRib6Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 394-394 | 子類 RightTrueRib7Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 425-425 | 子類 RightFalseRib8Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 440-440 | 子類 RightFalseRib9Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 455-455 | 子類 RightFalseRib10Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 470-470 | 子類 RightFalseRib11Bone and RightRibBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 487-487 | 子類 RightFalseRib12Bone and RightRibBone |
|
|