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 |