SubcostalesMuscle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1039-1039 | muscleInsertion SubcostalesMuscle and InnerSurfaceOfSecondOrThirdRibAboveNearItsAngle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1038-1038 | muscleOrigin SubcostalesMuscle and InnerSurfaceOfOneRib |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1036-1036 | SubcostalesMuscle est une sous-classe de muscle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1041-1041 | ennervates IntercostalNerves and SubcostalesMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1040-1040 | suppliesBlood IntercostalArteries and SubcostalesMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1037-1037 |