|
|
   AuricularisAnteriorMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 169-169 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 166-166 | muscleInsertion AuricularisAnteriorMuscle and FrontOfHelixOfEar |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 165-165 | muscleOrigin AuricularisAnteriorMuscle and TemporalFascia |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 163-163 | AuricularisAnteriorMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 168-168 | ennervates FacialNerveCNVII and AuricularisAnteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 167-167 | suppliesBlood PosteriorAuricularArtery and AuricularisAnteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 164-164 |
|
|
|