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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RotatoresMuscle
RotatoresMuscle(rotatores muscle)

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


(muscleInsertion RotatoresMuscle SpinousProcess) Muscles.kif 971-971 The insertion point of rotatores muscle is SpinousProcess
(muscleOrigin RotatoresMuscle TransverseProcess) Muscles.kif 970-970 The origin of rotatores muscle is TransverseProcess
(subclass RotatoresMuscle Muscle) Muscles.kif 968-968 Rotatores muscle is a subclass of muscle

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


(ennervates PosteriorBranch RotatoresMuscle) Muscles.kif 972-972 ennervates posterior branch and rotatores muscle
(termFormat EnglishLanguage RotatoresMuscle "rotatores muscle") Muscles.kif 969-969


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