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 antagonistMuscles AdductorHallucisMuscle and AbductorHallucisMuscle
(documentation AdductorHallucisMuscle EnglishLanguage "The AdductorHallucisMuscle eadducts big Toe.") Muscles.kif 2187-2187
(muscleInsertion AdductorHallucisMuscle PhalanxOfBigToe) Muscles.kif 2183-2183 muscleInsertion AdductorHallucisMuscle and PhalanxOfBigToe
(muscleOrigin AdductorHallucisMuscle ProximalEndOfmetatarsal) Muscles.kif 2182-2182 muscleOrigin AdductorHallucisMuscle and ProximalEndOfmetatarsal
(subclass AdductorHallucisMuscle Muscle) Muscles.kif 2180-2180 AdductorHallucisMuscle筋肉subclass では %n

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


(antagonistMuscles AbductorHallucisMuscle AdductorHallucisMuscle) Muscles.kif 2188-2188 antagonistMuscles AbductorHallucisMuscle and AdductorHallucisMuscle
(ennervates LateralPlantarNerve AdductorHallucisMuscle) Muscles.kif 2184-2184 ennervates LateralPlantarNerve and AdductorHallucisMuscle
(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