InternalIntercostalsMuscle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1017-1017 | antagonistMuscles InternalIntercostalsMuscle and ExternalIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1025-1025 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1022-1022 | muscleInsertion InternalIntercostalsMuscle and SuperiorBorderOfRibBelow |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1021-1021 | muscleOrigin InternalIntercostalsMuscle and InferiorBorderOfRibAbove |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1019-1019 | InternalIntercostalsMuscle est une sous-classe de muscle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1026-1026 | antagonistMuscles ExternalIntercostalsMuscle and InternalIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1024-1024 | ennervates IntercostalNerves and InternalIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1023-1023 | suppliesBlood IntercostalArteries and InternalIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1020-1020 |