| 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 10824-10824 | |
| 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 10823-10823 | GluteusMaximusMuscle 是 肌肉 的 subclass |
| 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 10825-10825 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10826-10826 | |
| 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 10827-10827 |
|
|
|