|
|
   DeltoidMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1193-1193 | Deltoid muscle and latissimus dorsi muscle are antagonist muscles |
| 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 | The insertion point of deltoid muscle is DeltoidTuberosityOfHumerus |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1270-1270 | The origin of deltoid muscle is ClavicleAcromionSpineOfScapula |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10820-10820 | Deltoid muscle is a subclass of muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1278-1278 | Latissimus dorsi muscle and deltoid muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1273-1273 | ennervates axillary nerve and deltoid muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1272-1272 | suppliesBlood PrimarilyPosteriorCircumflexHumeralArtery and deltoid muscle |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 64754-64754 |
|
|
|