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

Formal Language: 



KB Term:  Term intersection
English Word: 

  typicalTemporalPart

Sigma KEE - SoleusMuscle
SoleusMuscle

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


(documentation SoleusMuscle EnglishLanguage "The SoleusMuscle plantarflexes Ankle.") Muscles.kif 2032-2032
(muscleInsertion SoleusMuscle TendoCalcaneus) Muscles.kif 2027-2027
(muscleOrigin SoleusMuscle FibulaMedialBorderOfTibiaSolealLine) Muscles.kif 2026-2026
(subclass SoleusMuscle Muscle) Muscles.kif 2024-2024

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


(antagonistMuscles TibialisAnteriorMuscle SoleusMuscle) Muscles.kif 2033-2033
(ennervates TibialNerveSpecificallyNerveRootsL5S2 SoleusMuscle) Muscles.kif 2029-2029
(suppliesBlood SuralArteries SoleusMuscle) Muscles.kif 2028-2028
(termFormat EnglishLanguage SoleusMuscle "soleus muscle") Muscles.kif 2025-2025


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