|
|
   ExtensorCarpiRadialisBrevisMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1514-1514 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1509-1509 | muscleInsertion ExtensorCarpiRadialisBrevisMuscle and BaseOf3RdMetacarpal |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1508-1508 | muscleOrigin ExtensorCarpiRadialisBrevisMuscle and AnteriorSurfaceOfLateralEpicondyleOfHumerusCommonExtensorTendon |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1506-1506 | ExtensorCarpiRadialisBrevisMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1515-1515 | antagonistMuscles FlexorCarpiRadialisMuscle and ExtensorCarpiRadialisBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1511-1511 | ennervates PosteriorInterosseusNerve and ExtensorCarpiRadialisBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1510-1510 | suppliesBlood RadialArtery and ExtensorCarpiRadialisBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1507-1507 |
|
|
|