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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RectusCapitisLateralisMuscle

Sigma KEE - RectusCapitisLateralisMuscle
RectusCapitisLateralisMuscle

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


(documentation RectusCapitisLateralisMuscle EnglishLanguage "The RectusCapitisLateralisMuscle laterally performs Flexion of Neck, stabilises atlanto-occipital BodyJoint.") Muscles.kif 753-754
(documentation RectusCapitisLateralisMuscle EnglishLanguage "The RectusCapitisLateralisMuscle side bends at atlanto-occipital BodyJoint.") Muscles.kif 699-700
(muscleInsertion RectusCapitisLateralisMuscle UnderSurfaceOfJugularProcessOfOccipitalBone) Muscles.kif 697-697
(muscleOrigin RectusCapitisLateralisMuscle UpperSurfaceOfTransverseProcessOfAtlas) Muscles.kif 696-696
(subclass RectusCapitisLateralisMuscle Muscle) Muscles.kif 694-694

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


(ennervates C1Nerve RectusCapitisLateralisMuscle) Muscles.kif 698-698
(termFormat EnglishLanguage RectusCapitisLateralisMuscle "rectus capitis lateralis muscle") Muscles.kif 695-695


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