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