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 est une sous-classe de muscle |
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 |