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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RectusCapitisLateralisMuscle
RectusCapitisLateralisMuscle(rectus capitis lateralis muscle)

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 The insertion point of rectus capitis lateralis muscle is UnderSurfaceOfJugularProcessOfOccipitalBone
(muscleOrigin RectusCapitisLateralisMuscle UpperSurfaceOfTransverseProcessOfAtlas) Muscles.kif 696-696 The origin of rectus capitis lateralis muscle is UpperSurfaceOfTransverseProcessOfAtlas
(subclass RectusCapitisLateralisMuscle Muscle) Muscles.kif 694-694 Rectus capitis lateralis muscle is a subclass of muscle

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


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


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