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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpinalisMuscle

Sigma KEE - SpinalisMuscle
SpinalisMuscle

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


(antagonistMuscles SpinalisMuscle RectusAbdominusMuscle) Muscles.kif 921-921
(documentation SpinalisMuscle EnglishLanguage "The SpinalisMuscle bilateral: extends vertebral column unilateral: laterally flexes vertebral column to same side") Muscles.kif 919-920
(muscleInsertion SpinalisMuscle SpinousProcess) Muscles.kif 916-916
(muscleOrigin SpinalisMuscle SpinousProcess) Muscles.kif 915-915
(subclass SpinalisMuscle Muscle) Muscles.kif 913-913

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


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


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

Show without tree


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