![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 569-569 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 567-567 | muscleInsertion CricoarytenoidLateralMuscle and MuscularProcessOfArytenoidCartilage |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 566-566 | muscleOrigin CricoarytenoidLateralMuscle and LateralPartOfArchOfCricoidCartilage |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 564-564 | 子類 CricoarytenoidLateralMuscle and Muscle |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 570-570 | antagonistMuscles PosteriorCricoarytenoidMuscle and CricoarytenoidLateralMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 568-568 | ennervates RecurrentLaryngealNerveFromVagusNerveCNX and CricoarytenoidLateralMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 565-565 |
![]() |
![]() |