|
|
   RectusAbdominisMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 831-832 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 826-826 | muscleInsertion RectusAbdominisMuscle and XiphoidProcessCostalCartilagesOfRibs57 |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 825-825 | muscleOrigin RectusAbdominisMuscle and PubicSymphysisPubicCrest |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 823-823 | RectusAbdominisMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 833-833 | antagonistMuscles ErectorSpinaeMuscle and RectusAbdominisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 828-828 | ennervates IntercostalNervesSubcostalNerve and RectusAbdominisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 827-827 | suppliesBlood InferiorEpigastricArterySuperiorEpigastricArteryContributionsFromPosteriorIntercostalArteriesSubcostalArteriesAndDeepCircumflexArteries and RectusAbdominisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 824-824 |
|
|
|