|
|
   ScaleneMuscle
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 710-710 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 705-705 | muscleInsertion ScaleneMuscle and FirstAndSecondRibs |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 704-704 | muscleOrigin ScaleneMuscle and CervicalVertebrae |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 702-702 | ScaleneMuscle 是 肌肉 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 707-707 | ennervates CervicalNervesC3C4C5C6C7 and ScaleneMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 706-706 | suppliesBlood AscendingCervicalArteryFromInferiorThyroidArtery and ScaleneMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 703-703 |
|
|
|