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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpinalisMuscle
SpinalisMuscle

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


(antagonistMuscles SpinalisMuscle RectusAbdominusMuscle) Muscles.kif 921-921 antagonistMuscles SpinalisMuscle and RectusAbdominusMuscle
(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 muscleInsertion SpinalisMuscle and SpinousProcess
(muscleOrigin SpinalisMuscle SpinousProcess) Muscles.kif 915-915 muscleOrigin SpinalisMuscle and SpinousProcess
(subclass SpinalisMuscle Muscle) Muscles.kif 913-913 SpinalisMuscle est une sous-classe de muscle

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


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


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