AnteriorTuberclesOfTransverseProcessesOfVertebraeC3C4C5AndC6
|
|
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 681-681 | muscleOrigin LongusCapitisMuscle and AnteriorTuberclesOfTransverseProcessesOfVertebraeC3C4C5AndC6 |