|
|
   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 是 肌肉 的 subclass |
| 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 |
|
|
|