|
|
   MedialPterygoidNerveFromMandibularNerveCNV3
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 372-372 | ennervates MedialPterygoidNerveFromMandibularNerveCNV3 and PterygoidMedialMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 202-202 | ennervates MedialPterygoidNerveFromMandibularNerveCNV3 and TensorTympaniMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 452-452 | ennervates MedialPterygoidNerveFromMandibularNerveCNV3 and TensorVeliPalatiniMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 203-203 | MedialPterygoidNerveFromMandibularNerveCNV3 是 Nerve 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 204-204 |
|
|
|