|
|
   InstepBone
|
|
|
| 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 | 子類 InstepBone and FootBone |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1231-1231 | 子類 LeftMetatarsal1Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1240-1240 | 子類 LeftMetatarsal2Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1249-1249 | 子類 LeftMetatarsal3Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1258-1258 | 子類 LeftMetatarsal4Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1267-1267 | 子類 LeftMetatarsal5Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1235-1235 | 子類 RightMetatarsal1Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1244-1244 | 子類 RightMetatarsal2Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1253-1253 | 子類 RightMetatarsal3Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1262-1262 | 子類 RightMetatarsal4Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1271-1271 | 子類 RightMetatarsal5Bone and InstepBone |
| No TPTP formula. May not be expressible in strict first order. | Anatomy.kif 1228-1228 |
|
|
|