|
|
   GluteusMaximusMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1707-1707 | antagonistMuscles GluteusMaximusMuscle and IliacusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1685-1685 | antagonistMuscles GluteusMaximusMuscle and PsoasMajorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1696-1696 | antagonistMuscles GluteusMaximusMuscle and PsoasMinorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1727-1727 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10851-10851 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1722-1722 | muscleInsertion GluteusMaximusMuscle and GlutealTuberosityOfFemurIliotibialTract |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1721-1721 | muscleOrigin GluteusMaximusMuscle and GlutealSurfaceOfIliumLumbarFasciaSacrumSacrotuberousLigament |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10850-10850 | GluteusMaximusMuscle est une sous-classe de muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1728-1728 | antagonistMuscles IliacusPsoasMajorPsoasMinorMuscle and GluteusMaximusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1724-1724 | ennervates InferiorGlutealNerveL5S1S2NerveRoots and GluteusMaximusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1723-1723 | suppliesBlood SuperiorGlutealArteryInferiorGlutealArtery and GluteusMaximusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10852-10852 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10853-10853 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1720-1720 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10854-10854 |
|
|
|