|
|
   PosteriorInterosseousNerveC7C8
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1540-1540 | ennervates PosteriorInterosseousNerveC7C8 and AbductorPollicisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1485-1485 | ennervates PosteriorInterosseousNerveC7C8 and ExtensorCarpiUlnarisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1476-1476 | ennervates PosteriorInterosseousNerveC7C8 and ExtensorDigitiMinimiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1465-1465 | ennervates PosteriorInterosseousNerveC7C8 and ExtensorDigitorumMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1549-1549 | ennervates PosteriorInterosseousNerveC7C8 and ExtensorPollicisBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1558-1558 | ennervates PosteriorInterosseousNerveC7C8 and ExtensorPollicisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1466-1466 | 子類 PosteriorInterosseousNerveC7C8 and Nerve |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1467-1467 |
|
|
|