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