InfraspinatusMuscle(infraspinatus muscle) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1307-1307 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1304-1304 | The insertion point of infraspinatus muscle is MiddleFacetOfGreaterTubercleOfHumerus |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1303-1303 | The origin of infraspinatus muscle is InfraspinousFossaOfScapula |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1301-1301 | Infraspinatus muscle is a subclass of muscle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1308-1308 | SubscapularisPectoralisMajorLatissimusDorsiMuscle and infraspinatus muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1306-1306 | ennervates suprascapular nerve and infraspinatus muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1305-1305 | suppliesBlood SuprascapularArteryCircumflexScapularArtery and infraspinatus muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1302-1302 |