|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 683-683 | ennervates C1C2C3C4Nerve and LongusCapitisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 692-692 | ennervates C1Nerve and RectusCapitisAnteriorMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 698-698 | ennervates C1Nerve and RectusCapitisLateralisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 656-656 | ennervates C1Nerve and ThyrohyoidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 628-628 | ennervates C1ViaHypoglossalNerve and GeniohyoidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 674-674 | ennervates C2C3C4C5C6Nerve and LongusColliMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 818-818 | ennervates C3C4 and SpleniusCapitisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 996-996 | ennervates C5C6Nerve and SpleniusCervicisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 577-577 | ennervates CervicalBranchOfFacialNerveCNVII and PlatysmaMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 588-588 | ennervates CervicalBranchOfFacialNerveCNVII and SternocleidomastoidMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 746-746 | ennervates CervicalNerveC3C4AndDorsalScapularNerveC5 and LevatorScapulaeMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 707-707 | ennervates CervicalNervesC3C4C5C6C7 and ScaleneMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1613-1613 | ennervates DeepBranchOfUlnarNerve and AbductorDigitiMinimiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1595-1595 | ennervates DeepBranchOfUlnarNerve and AbductorPollicisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1652-1652 | ennervates DeepBranchOfUlnarNerve and DorsalInterosseiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1623-1623 | ennervates DeepBranchOfUlnarNerve and FlexorDigitiMinimiBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1661-1661 | ennervates DeepBranchOfUlnarNerve and PalmarInterosseiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1632-1632 | ennervates DeepBranchOfUlnarNerveC8AndT1 and OpponensDigitiMinimiMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1642-1642 | ennervates DeepBranchOfUlnarNerveMedianNerve and LumbricalMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2105-2105 | ennervates DeepFibularNerve and ExtensorDigitorumBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1992-1992 | ennervates DeepFibularNerve and ExtensorDigitorumLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2113-2113 | ennervates DeepFibularNerve and ExtensorHallucisBrevisMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1983-1983 | ennervates DeepFibularNerve and ExtensorHallucisLongusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2001-2001 | ennervates DeepFibularNerve and FibularisTertiusMuscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1972-1972 | ennervates DeepFibularNerve and TibialisAnteriorMuscle |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
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