![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2170-2170 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2165-2165 | muscleInsertion LumbricalsMuscle and MedialSurfaceOfExtensorExpansionOfProximalPhalangesOfLateralFourToes |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2164-2164 | muscleOrigin LumbricalsMuscle and TendonsOfFlexorDigitorumLongus |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2162-2162 | LumbricalsMuscle est une sous-classe de muscle |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2167-2167 | ennervates LateralPlantarNerveLateralThreeLumbricalsAndMedialPlantarNerveFirstLumbrical and LumbricalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2166-2166 | suppliesBlood LateralPlantarArteryPlantarArchFourPlantarMetatarsalArteries and LumbricalsMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2163-2163 |
![]() |
![]() |