|
|
   FlexorDigitiMinimiBrevisMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2153-2153 | antagonistMuscles FlexorDigitiMinimiBrevisMuscle and AbductorDigitiMinimiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1478-1478 | antagonistMuscles FlexorDigitiMinimiBrevisMuscle and ExtensorDigitiMinimiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2197-2197 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2193-2193 | muscleInsertion FlexorDigitiMinimiBrevisMuscle and PhalanxOfFifthToe |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2192-2192 | muscleOrigin FlexorDigitiMinimiBrevisMuscle and FifthMetatarsalBone |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2190-2190 | FlexorDigitiMinimiBrevisMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2198-2198 | antagonistMuscles AbductorDigitiMinimiMuscle and FlexorDigitiMinimiBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1623-1623 | ennervates DeepBranchOfUlnarNerve and FlexorDigitiMinimiBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2194-2194 | ennervates LateralPlantarNerveSuperficialBranch and FlexorDigitiMinimiBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1622-1622 | suppliesBlood UlnarArtery and FlexorDigitiMinimiBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2191-2191 |
|
|
|