|
|
  FloorFn
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2153-2153 | Flexor digiti minimi brevis muscle and abductor digiti minimi muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1478-1478 | Flexor digiti minimi brevis muscle and extensor digiti minimi muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2197-2197 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2193-2193 | The insertion point of flexor digiti minimi brevis muscle is PhalanxOfFifthToe |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2192-2192 | The origin of flexor digiti minimi brevis muscle is FifthMetatarsalBone |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2190-2190 | Flexor digiti minimi 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 2198-2198 | Abductor digiti minimi muscle and flexor digiti minimi brevis muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1623-1623 | ennervates deep branch of ulnar nerve and flexor digiti minimi brevis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2194-2194 | ennervates lateral plantar nerve (superficial branch) and flexor digiti minimi brevis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1622-1622 | suppliesBlood ulnar artery and flexor digiti minimi brevis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2191-2191 |
|
|
|