| DeltoidMuscle | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1193-1193 | antagonistMuscles DeltoidMuscle and LatissimusDorsiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1276-1277 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10821-10821 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1271-1271 | muscleInsertion DeltoidMuscle and DeltoidTuberosityOfHumerus |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1270-1270 | muscleOrigin DeltoidMuscle and ClavicleAcromionSpineOfScapula |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10820-10820 | DeltoidMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1278-1278 | antagonistMuscles LatissimusDorsiMuscle and DeltoidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1273-1273 | ennervates AxillaryNerve and DeltoidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1272-1272 | suppliesBlood PrimarilyPosteriorCircumflexHumeralArtery and DeltoidMuscle |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64754-64754 |
|
|
|