SuperiorBorderOfRibBelow |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1013-1013 | muscleInsertion ExternalIntercostalsMuscle and SuperiorBorderOfRibBelow |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1031-1031 | muscleInsertion InnermostIntercostalsMuscle and SuperiorBorderOfRibBelow |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1022-1022 | muscleInsertion InternalIntercostalsMuscle and SuperiorBorderOfRibBelow |