IntertransversariiMuscle |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 990-990 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 988-988 | muscleInsertion IntertransversariiMuscle and TransverseProcessAbove |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 987-987 | muscleOrigin IntertransversariiMuscle and TransverseProcess |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 985-985 | IntertransversariiMuscle est une sous-classe de muscle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 989-989 | ennervates PosteriorRamiOfSpinalNerves and IntertransversariiMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 986-986 |