FlexorDigitorumBrevisMuscle(flexor digitorum brevis muscle) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2142-2142 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2140-2140 | The insertion point of flexor digitorum brevis muscle is MiddlePhalangesOfDigits25 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2139-2139 | The origin of flexor digitorum brevis muscle is MedialProcessOfCalcaneusPlantarAponeurosisIntermuscularSepta |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2137-2137 | Flexor digitorum brevis muscle is a subclass of muscle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2143-2143 | ExtensorDigitorumLongusExtensorDigitorumBrevisMuscle and flexor digitorum brevis muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2141-2141 | ennervates medial plantar nerve and flexor digitorum brevis muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2138-2138 |