IntercostalNerves
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1015-1015 | ennervates IntercostalNerves and ExternalIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1033-1033 | ennervates IntercostalNerves and InnermostIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1006-1006 | ennervates IntercostalNerves and IntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1024-1024 | ennervates IntercostalNerves and InternalIntercostalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1065-1065 | ennervates IntercostalNerves and SerratusPosteriorInferiorMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1041-1041 | ennervates IntercostalNerves and SubcostalesMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1048-1048 | ennervates IntercostalNerves and TransversusThoracisMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1007-1007 | IntercostalNerves 是 Nerve 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1008-1008 |