LateralPectoralNerveMedialPectoralNerveClavicularHeadC5AndC6SternocostalHeadC7C8AndT1
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1232-1232 | ennervates lateral pectoral nerve, medial pectoral nerve clavicular head: C5 and C6 sternocostal head: C7, C8 and T1 and pectoralis major muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1233-1233 | Lateral pectoral nerve, medial pectoral nerve clavicular head: C5 and C6 sternocostal head: C7, C8 and T1 is a subclass of nerve |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1234-1234 |