|
|
   LongusColliMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 677-677 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 672-672 | muscleInsertion LongusColliMuscle and AnteriorArchOfAtlas |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 671-671 | muscleOrigin LongusColliMuscle and TransverseProcessesOfVertebraeC3C4C5AndC6 |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 669-669 | 子類 LongusColliMuscle and Muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 674-674 | ennervates C2C3C4C5C6Nerve and LongusColliMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 673-673 | suppliesBlood AscendingPharyngealArteryVertebralArtery and LongusColliMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 670-670 |
|
|
|