|
|
   AbductorHallucisMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2188-2188 | Abductor hallucis muscle and adductor hallucis muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2134-2134 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2130-2130 | The insertion point of abductor hallucis muscle is MedialSideOfBaseOfProximalPhalanxOfFirstDigit |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2129-2129 | The origin of abductor hallucis muscle is MedialProcessOfCalcaneusFlexorRetinaculumPlantarAponeurosis |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | Abductor hallucis muscle is a subclass of muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2135-2135 | Adductor hallucis muscle and abductor hallucis muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2131-2131 | ennervates medial plantar nerve and abductor hallucis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2128-2128 |
|
|
|