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



KB Term:  Term intersection
English Word: 

  SuperiorTarsalMuscle

Sigma KEE - SuperiorTarsalMuscle
SuperiorTarsalMuscle(Muller's muscle)

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


(subclass SuperiorTarsalMuscle Muscle) Muscles.kif 90-90 Muller's muscle is a subclass of muscle
(muscleOrigin SuperiorTarsalMuscle UndersideOfLevatorPalpebraeSuperioris) Muscles.kif 93-93 The origin of Muller's muscle is UndersideOfLevatorPalpebraeSuperioris
(muscleInsertion SuperiorTarsalMuscle SuperiorTarsalPlateOfEyelid) Muscles.kif 94-94 The insertion point of Muller's muscle is SuperiorTarsalPlateOfEyelid
(documentation SuperiorTarsalMuscle EnglishLanguage "The SuperiorTarsalMuscle raises upper eyelid.") Muscles.kif 99-99 The insertion point of Muller's muscle is SuperiorTarsalPlateOfEyelid

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


(termFormat EnglishLanguage SuperiorTarsalMuscle "superior tarsal muscle") Muscles.kif 91-91
(termFormat EnglishLanguage SuperiorTarsalMuscle "Muller's muscle") Muscles.kif 92-92
(suppliesBlood OphthalmicArtery SuperiorTarsalMuscle) Muscles.kif 95-95 supplies blood ophthalmic artery and Muller's muscle


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners