|
|
  buys
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1104-1104 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1099-1099 | muscleInsertion LevatorAniIliococcygeusMuscle and Coccyx |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1098-1098 | muscleOrigin LevatorAniIliococcygeusMuscle and IschialSpine |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1096-1096 | 子類 LevatorAniIliococcygeusMuscle and Muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1101-1101 | ennervates LevatorAniNerve and LevatorAniIliococcygeusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1100-1100 | suppliesBlood InferiorGlutealArtery and LevatorAniIliococcygeusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1097-1097 |
|
|
|