| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2207-2207 | Dorsal interossei muscle and plantar interossei muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2214-2214 | |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2212-2212 | The insertion point of dorsal interossei muscle is ProximalPhalanx |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2211-2211 | The origin of dorsal interossei muscle is Metatarsal |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2209-2209 | Dorsal interossei muscle is a subclass of muscle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1654-1654 | Palmar interossei muscle and dorsal interossei muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2215-2215 | Plantar interossei muscle and dorsal interossei muscle are antagonist muscles |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1652-1652 | ennervates deep branch of ulnar nerve and dorsal interossei muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2213-2213 | ennervates lateral plantar nerve and dorsal interossei muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1651-1651 | suppliesBlood DorsalMetacarpalArteryPalmarMetacarpalArtery and dorsal interossei muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2210-2210 |
|
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