Concealing
|
|
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 e' uma sub-classe de Nerve |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 382-382 |