Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpinalisMuscle
SpinalisMuscle(spinalis muscle)

appearance as argument number 1
-------------------------


(antagonistMuscles SpinalisMuscle RectusAbdominusMuscle) Muscles.kif 921-921 Spinalis muscle and RectusAbdominusMuscle are antagonist muscles
(documentation SpinalisMuscle EnglishLanguage "The SpinalisMuscle bilateral: extends vertebral column unilateral: laterally flexes vertebral column to same side") Muscles.kif 919-920 Spinalis muscle and RectusAbdominusMuscle are antagonist muscles
(muscleInsertion SpinalisMuscle SpinousProcess) Muscles.kif 916-916 The insertion point of spinalis muscle is SpinousProcess
(muscleOrigin SpinalisMuscle SpinousProcess) Muscles.kif 915-915 The origin of spinalis muscle is SpinousProcess
(subclass SpinalisMuscle Muscle) Muscles.kif 913-913 Spinalis muscle is a subclass of muscle

appearance as argument number 2
-------------------------


(ennervates SpinalNerve SpinalisMuscle) Muscles.kif 918-918 ennervates SpinalNerve and spinalis muscle
(suppliesBlood LateralSacralArtery SpinalisMuscle) Muscles.kif 917-917 suppliesBlood lateral sacral artery and spinalis muscle
(termFormat EnglishLanguage SpinalisMuscle "spinalis muscle") Muscles.kif 914-914 suppliesBlood lateral sacral artery and spinalis muscle


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners