| InstepBone(instep bone) | | metatarsal, tarsal, tarsal_bone |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1229-1229 | |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1227-1227 | Instep bone is a subclass of foot bone |
| appearance as argument number 2 |
|
|
| 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 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 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 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 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 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 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 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 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 1271-1271 | Right metatarsal 5 bone is a subclass of instep bone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1228-1228 |
|
|
|