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 |