|
|
   HypoglossalNerveCNXII
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 397-397 | ennervates HypoglossalNerveCNXII and ChondroglossusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 380-380 | ennervates HypoglossalNerveCNXII and GenioglossusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 390-390 | ennervates HypoglossalNerveCNXII and HyoglossusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 438-438 | ennervates HypoglossalNerveCNXII and InferiorLongitudinalMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 405-405 | ennervates HypoglossalNerveCNXII and StyloglossusMuscle |
| 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 430-430 | ennervates HypoglossalNerveCNXII and TransversusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 446-446 | ennervates HypoglossalNerveCNXII and VerticalisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 381-381 | HypoglossalNerveCNXII 是 Nerve 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 382-382 |
|
|
|