LateralPlantarNerveLateralThreeLumbricalsAndMedialPlantarNerveFirstLumbrical(lateral plantar nerve (lateral three lumbricals) and medial plantar nerve (first lumbrical)) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2167-2167 | ennervates lateral plantar nerve (lateral three lumbricals) and medial plantar nerve (first lumbrical) and lumbricals muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2168-2168 | Lateral plantar nerve (lateral three lumbricals) and medial plantar nerve (first lumbrical) is a subclass of nerve |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2169-2169 |