| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1279-1279 | ToeBone e' uma sub-classe de FootBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1284-1284 | ToeBone e' uma sub-classe de Phalanx |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1290-1290 | LeftProximalFootPhalanxIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1295-1295 | RightProximalFootPhalanxIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1300-1300 | LeftProximalFootPhalanxIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1305-1305 | RightProximalFootPhalanxIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1310-1310 | LeftProximalFootPhalanxIIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1315-1315 | RightProximalFootPhalanxIIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1320-1320 | LeftProximalFootPhalanxIVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1325-1325 | RightProximalFootPhalanxIVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1330-1330 | LeftProximalFootPhalanxVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1335-1335 | RightProximalFootPhalanxVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1342-1342 | LeftIntermediateFootPhalanxIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1347-1347 | RightIntermediateFootPhalanxIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1352-1352 | LeftIntermediateFootPhalanxIIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1357-1357 | RightIntermediateFootPhalanxIIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1362-1362 | LeftIntermediateFootPhalanxIVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1367-1367 | RightIntermediateFootPhalanxIVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1372-1372 | LeftIntermediateFootPhalanxVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1377-1377 | RightIntermediateFootPhalanxVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1383-1383 | LeftDistalFootPhalanxIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1388-1388 | RightDistalFootPhalanxIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1393-1393 | LeftDistalFootPhalanxIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1398-1398 | RightDistalFootPhalanxIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1403-1403 | LeftDistalFootPhalanxIIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1408-1408 | RightDistalFootPhalanxIIIBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1413-1413 | LeftDistalFootPhalanxIVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1418-1418 | RightDistalFootPhalanxIVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1423-1423 | LeftDistalFootPhalanxVBone e' uma sub-classe de ToeBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1428-1428 | RightDistalFootPhalanxVBone e' uma sub-classe de ToeBone |
|
|