|
|
  IschialTuberosity
|
|
|
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1874-1874 | The origin of biceps femoris muscle is IschialTuberosity |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1795-1795 | The origin of inferior gemellus muscle is IschialTuberosity |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1158-1158 | The origin of ischiocavernosus muscle is IschialTuberosity |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1804-1804 | The origin of quadratus femoris muscle is IschialTuberosity |
|
|
|