|
|
   IntercostalNerves
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1015-1015 | ennervates intercostal nerves and external intercostals muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1033-1033 | ennervates intercostal nerves and innermost intercostals muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1006-1006 | ennervates intercostal nerves and intercostals muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1024-1024 | ennervates intercostal nerves and internal intercostals muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1065-1065 | ennervates intercostal nerves and serratus posterior inferior muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1041-1041 | ennervates intercostal nerves and subcostales muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1048-1048 | ennervates intercostal nerves and transversus thoracis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1007-1007 | Intercostal nerves is a subclass of nerve |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1008-1008 |
|
|
|