|
|
   HyoglossusMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 391-391 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 389-389 | The insertion point of hyoglossus muscle is SideOfTongue |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 388-388 | The origin of hyoglossus muscle is Hyoid |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 386-386 | Hyoglossus muscle is a subclass of muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 390-390 | ennervates hypoglossal nerve [CNXII] and hyoglossus muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 387-387 |
|
|
|