| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1279-1279 | Toe bone is a subclass of foot bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1284-1284 | Toe bone is a subclass of Phalanx |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1290-1290 | Left proximal foot phalanx I bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1295-1295 | Right proximal foot phalanx I bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1300-1300 | Left proximal foot phalanx II bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1305-1305 | Right proximal foot phalanx II bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1310-1310 | Left proximal foot phalanx III bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1315-1315 | Right proximal foot phalanx III bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1320-1320 | Left proximal foot phalanx IV bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1325-1325 | Right proximal foot phalanx IV bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1330-1330 | Left proximal foot phalanx V bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1335-1335 | Right proximal foot phalanx V bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1342-1342 | Left intermediate foot phalanx II bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1347-1347 | Right intermediate foot phalanx II bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1352-1352 | Left intermediate foot phalanx III bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1357-1357 | Right intermediate foot phalanx III bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1362-1362 | Left intermediate foot phalanx IV bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1367-1367 | Right intermediate foot phalanx IV bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1372-1372 | Left intermediate foot phalanx V bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1377-1377 | Right intermediate foot phalanx V bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1383-1383 | Left distal foot phalanx I bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1388-1388 | Right distal foot phalanx I bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1393-1393 | Left distal foot phalanx II bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1398-1398 | Right distal foot phalanx II bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1403-1403 | Left distal foot phalanx III bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1408-1408 | Right distal foot phalanx III bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1413-1413 | Left distal foot phalanx IV bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1418-1418 | Right distal foot phalanx IV bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1423-1423 | Left distal foot phalanx V bone is a subclass of toe bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1428-1428 | Right distal foot phalanx V bone is a subclass of toe bone |
|
|