SciaticNerve10TibialL5S1S2
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1888-1888 | ennervates sciatic nerve[10] (tibial, L5, S1, S2) and semitendinosus muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1889-1889 | Sciatic nerve[10] (tibial, L5, S1, S2) is a subclass of nerve |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1890-1890 |