| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1227-1227 | Instep bone is a subclass of foot bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1231-1231 | Left metatarsal 1 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1235-1235 | Right metatarsal 1 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1240-1240 | Left metatarsal 2 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1244-1244 | Right metatarsal 2 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1249-1249 | Left metatarsal 3 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1253-1253 | Right metatarsal 3 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1258-1258 | Left metatarsal 4 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1262-1262 | Right metatarsal 4 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1267-1267 | Left metatarsal 5 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1271-1271 | Right metatarsal 5 bone is a subclass of instep bone |
|
|