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 是 Nerve 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1467-1467 |