|
|
   FingerFlexorDigitiMinimiBrevisMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1624-1624 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1621-1621 | muscleInsertion FingerFlexorDigitiMinimiBrevisMuscle and LittleFinger |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1620-1620 | muscleOrigin FingerFlexorDigitiMinimiBrevisMuscle and HamateBone |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1618-1618 | 子類 FingerFlexorDigitiMinimiBrevisMuscle and Muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1625-1625 | antagonistMuscles ExtensorDigitiMinimiMuscle and FingerFlexorDigitiMinimiBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1619-1619 |
|
|
|