|
|
   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 |
|
|
|