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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AdductorHallucisMuscle
AdductorHallucisMuscle

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


(antagonistMuscles AdductorHallucisMuscle AbductorHallucisMuscle) Muscles.kif 2135-2135
(documentation AdductorHallucisMuscle EnglishLanguage "The AdductorHallucisMuscle eadducts big Toe.") Muscles.kif 2187-2187
(muscleInsertion AdductorHallucisMuscle PhalanxOfBigToe) Muscles.kif 2183-2183
(muscleOrigin AdductorHallucisMuscle ProximalEndOfmetatarsal) Muscles.kif 2182-2182
(subclass AdductorHallucisMuscle Muscle) Muscles.kif 2180-2180

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


(antagonistMuscles AbductorHallucisMuscle AdductorHallucisMuscle) Muscles.kif 2188-2188
(ennervates LateralPlantarNerve AdductorHallucisMuscle) Muscles.kif 2184-2184
(termFormat EnglishLanguage AdductorHallucisMuscle "adductor hallucis muscle") Muscles.kif 2181-2181


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