origin
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1993-1993 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1990-1990 | The insertion point of extensor digitorum longus muscle is MiddleAndDistalPhalangesOfLateralFourDigits |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1989-1989 | The origin of extensor digitorum longus muscle is LateralCondyleOfTibiaSuperiorOfInterosseousMembrane |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1987-1987 | Extensor digitorum longus muscle is a subclass of muscle |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1994-1994 | FlexorDigitorumLongusFlexorDigitorumBrevisMuscle and extensor digitorum longus muscle are antagonist muscles |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1992-1992 | ennervates deep fibular nerve and extensor digitorum longus muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1991-1991 | suppliesBlood anterior tibial artery and extensor digitorum longus muscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1988-1988 |