ToeBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1305-1305 | RightProximalFootPhalanxIIBone est une sous-classe de ToeBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1315-1315 | RightProximalFootPhalanxIIIBone est une sous-classe de ToeBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1325-1325 | RightProximalFootPhalanxIVBone est une sous-classe de ToeBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1335-1335 | RightProximalFootPhalanxVBone est une sous-classe de ToeBone |
No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1280-1280 |