|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1264-1264 | LongThoracicNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1286-1286 | LowerSubscapularNerveSegmentalLevelsC5AndC6 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1682-1682 | LumbarPlexusViaAnteriorBranchesOfL1L2L37 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 281-281 | MandibularBranchOfFacialNerveCNVII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 602-602 | MandibularNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 340-340 | MassetericNerveFromMandibularNerveCNV3 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1243-1243 | MedialPectoralNerveC8T1 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2132-2132 | MedialPlantarNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 203-203 | MedialPterygoidNerveFromMandibularNerveCNV3 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1386-1386 | MedianNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1576-1576 | MedianNerveDeepBranchOfUlnarNerveMedialHead 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1415-1415 | MuscularBranchesOfUlnarNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1336-1336 | MusculocutaneousNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 620-620 | MylohyoidNerveFromInferiorAlveolarBranchOfMandibularNerveCNV3 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1783-1783 | NerveToObturatorInternusL5S1S2 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1798-1798 | NerveToQuadratusFemorisL4L5S1 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 193-193 | NerveToTheStapediusFromFacialNerveCNVII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1911-1911 | ObturatorNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1754-1754 | ObturatorNervePiriformisNerveNerveToQuadratusFemoris 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 85-85 | OculomotorNerveCNIII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1179-1179 | PerinealBranchOfPudendalNerveS2S3S4 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 475-475 | PharyngealBranchOfVagusNerveCNX 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 461-461 | PharyngealPlexusOfVagusNerveCNX 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1083-1083 | PhrenicAndLowerIntercostalNerves 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1765-1765 | PiriformisNerveS1AndS2NerveRoots9 是 Nerve 的 subclass |
| 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