|
|
   SuperiorLongitudinalMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 423-423 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 420-420 | muscleInsertion SuperiorLongitudinalMuscle and EdgesOfTongue |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 419-419 | muscleOrigin SuperiorLongitudinalMuscle and CloseToEpiglottisFromMedianFibrousSeptum |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 417-417 | SuperiorLongitudinalMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 422-422 | ennervates HypoglossalNerveCNXII and SuperiorLongitudinalMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 421-421 | suppliesBlood LingualArteryTonsilarBranchOfFacialArteryAscendingPharyngealArtery and SuperiorLongitudinalMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 418-418 |
|
|
|