![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1777-1777 | |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1772-1772 | muscleInsertion ObturatorExternusMuscle and MedialSurfaceOfGreaterTrochanterOfFemur |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1771-1771 | muscleOrigin ObturatorExternusMuscle and ObturatorForamenAndObturatoryMembrane |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1769-1769 | 子類 ObturatorExternusMuscle and Muscle |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1774-1774 | ennervates PosteriorBranchOfObturatorNerveL3L4 and ObturatorExternusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1773-1773 | suppliesBlood ObturatorArtery and ObturatorExternusMuscle |
No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1770-1770 |
![]() |
![]() |