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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FlexorHallucisBrevisMuscle
FlexorHallucisBrevisMuscle

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


(antagonistMuscles FlexorHallucisBrevisMuscle ExtensorHallucisBrevisMuscle) Muscles.kif 2115-2115 antagonistMuscles FlexorHallucisBrevisMuscle and ExtensorHallucisBrevisMuscle
(documentation FlexorHallucisBrevisMuscle EnglishLanguage "The FlexorHallucisBrevisMuscle flexes big Toe.") Muscles.kif 2177-2177
(muscleInsertion FlexorHallucisBrevisMuscle Metatarsophalanx) Muscles.kif 2175-2175 muscleInsertion FlexorHallucisBrevisMuscle and Metatarsophalanx
(muscleOrigin FlexorHallucisBrevisMuscle PlantarSurfaceOfCuneiforms) Muscles.kif 2174-2174 muscleOrigin FlexorHallucisBrevisMuscle and PlantarSurfaceOfCuneiforms
(subclass FlexorHallucisBrevisMuscle Muscle) Muscles.kif 2172-2172 FlexorHallucisBrevisMuscle est une sous-classe de muscle

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


(ennervates MedialPlantarNerve FlexorHallucisBrevisMuscle) Muscles.kif 2176-2176 ennervates MedialPlantarNerve and FlexorHallucisBrevisMuscle
(termFormat EnglishLanguage FlexorHallucisBrevisMuscle "flexor hallucis brevis muscle") Muscles.kif 2173-2173


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