|
|
  AtOrBelowAcetabulumOfIlium
|
|
|
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1750-1750 | The origin of lateral rotator group muscle is AtOrBelowAcetabulumOfIlium |
|
|
|