|
|
   LateralPlantarNerveS1S2
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2149-2149 | ennervates LateralPlantarNerveS1S2 and AbductorDigitiMinimiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2159-2159 | ennervates LateralPlantarNerveS1S2 and QuadratusPlantaeMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2150-2150 | LateralPlantarNerveS1S2 是 Nerve 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2151-2151 |
|
|
|