|
|
   SuperficialFibularNerve
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2097-2097 | ennervates SuperficialFibularNerve and FibularisBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2086-2086 | ennervates SuperficialFibularNerve and FibularisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2087-2087 | SuperficialFibularNerve 是 Nerve 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2088-2088 |
|
|
|