|
|
   DeepFibularNerve
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2105-2105 | ennervates DeepFibularNerve and ExtensorDigitorumBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1992-1992 | ennervates DeepFibularNerve and ExtensorDigitorumLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2113-2113 | ennervates DeepFibularNerve and ExtensorHallucisBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1983-1983 | ennervates DeepFibularNerve and ExtensorHallucisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2001-2001 | ennervates DeepFibularNerve and FibularisTertiusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1972-1972 | ennervates DeepFibularNerve and TibialisAnteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1973-1973 | DeepFibularNerve 是 Nerve 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1974-1974 |
|
|
|