|
|
   TibialNerve
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2068-2068 | ennervates TibialNerve and FlexorDigitorumLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2040-2040 | ennervates TibialNerve and PlantarisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2049-2049 | ennervates TibialNerve and PopliteusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2077-2077 | ennervates TibialNerve and TibialisPosteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2008-2008 | ennervates TibialNerve and TricepsSuraeMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2009-2009 | 子類 TibialNerve and Nerve |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2010-2010 |
|
|
|