InnermostIntercostalsMuscle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1034-1034 | |
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 1030-1030 | muscleOrigin InnermostIntercostalsMuscle and InferiorBorderOfRibAbove |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1028-1028 | InnermostIntercostalsMuscle est une sous-classe de muscle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1033-1033 | ennervates IntercostalNerves and InnermostIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1032-1032 | suppliesBlood IntercostalArteries and InnermostIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1029-1029 |