|
|
   FemoralNerveL2L37
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1703-1703 | ennervates FemoralNerveL2L37 and IliacusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1704-1704 | FemoralNerveL2L37 是 Nerve 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1705-1705 |
|
|
|