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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InferiorRectusMuscle
InferiorRectusMuscle

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


(documentation InferiorRectusMuscle EnglishLanguage "The InferiorMuscle depresses and adducts eye.") Muscles.kif 119-119
(muscleInsertion InferiorRectusMuscle SixtyFiveMmInferiorToCornealLimbus) Muscles.kif 114-114
(muscleOrigin InferiorRectusMuscle AnnulusOfZinnAtOrbitalApex) Muscles.kif 113-113
(subclass InferiorRectusMuscle Muscle) Muscles.kif 111-111

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


(ennervates InferiorBranchOfOculomotorNerveCNIII InferiorRectusMuscle) Muscles.kif 116-116
(suppliesBlood OphthalmicArtery InferiorRectusMuscle) Muscles.kif 115-115
(termFormat EnglishLanguage InferiorRectusMuscle "inferior rectus muscle") Muscles.kif 112-112


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