|
|
   Earthquake
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1515-1515 | Flexor carpi radialis muscle and extensor carpi radialis brevis muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1504-1504 | Flexor carpi radialis muscle and extensor carpi radialis longus muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1397-1397 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1394-1394 | The insertion point of flexor carpi radialis muscle is BasesOfSecondMetacarpalBaseOfThirdMetacarpal |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1393-1393 | The origin of flexor carpi radialis muscle is MedialEpicondyleOfHumerusCommonFlexorTendon |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1391-1391 | Flexor carpi radialis muscle is a subclass of muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1398-1398 | ExtensorCarpiRadialisBrevisExtensorCarpiRadialisLongusMuscle and flexor carpi radialis muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1396-1396 | ennervates median nerve and flexor carpi radialis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1395-1395 | suppliesBlood radial artery and flexor carpi radialis muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1392-1392 |
|
|
|