|
|
   SemitendinosusMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1891-1891 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1886-1886 | muscleInsertion SemitendinosusMuscle and PesAnserinus |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1885-1885 | muscleOrigin SemitendinosusMuscle and IschialTuberosity10 |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1883-1883 | SemitendinosusMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1892-1892 | antagonistMuscles QuadricepsFemorisMuscle and SemitendinosusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1888-1888 | ennervates SciaticNerve10TibialL5S1S2 and SemitendinosusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1887-1887 | suppliesBlood InferiorGlutealArteryPerforatingArteries and SemitendinosusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1884-1884 |
|
|
|