|
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1202-1202 | DorsalScapularNerveC4AndC5 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 509-509 | ExternalLaryngealBranchOfSuperiorLaryngealNerveAndRecurrentLaryngealNerveFromVagusNerveCNX 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 535-535 | ExternalLaryngealBranchOfSuperiorLaryngealNerveFromVagusNerveCNX 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 362-362 | ExternalPterygoidNerveFromMandibularNerveCNV3 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 23-23 | FacialNerveCNVII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1815-1815 | FemoralNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1933-1933 | FemoralNerveAndObturatorNerveMedialCompartment11 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1704-1704 | FemoralNerveL2L37 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1671-1671 | FemoralNerveLumbarNervesL1L2 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 492-492 | GlossopharyngealNerveCNIX 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 799-799 | GreaterOccipitalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 381-381 | HypoglossalNerveCNXII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 117-117 | InferiorBranchOfOculomotorNerveCNIII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1725-1725 | InferiorGlutealNerveL5S1S2NerveRoots 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 841-841 | IntercostalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1007-1007 | IntercostalNerves 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 829-829 | IntercostalNervesSubcostalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1693-1693 | L1 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1233-1233 | LateralPectoralNerveMedialPectoralNerveClavicularHeadC5AndC6SternocostalHeadC7C8AndT1 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2185-2185 | LateralPlantarNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2122-2122 | LateralPlantarNerveFourthInterosseousSpaceSuperficialBranchOthersDeepBranchFirstAndSecondInterosseiLateralBranchOfDeepFibularNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2168-2168 | LateralPlantarNerveLateralThreeLumbricalsAndMedialPlantarNerveFirstLumbrical 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2150-2150 | LateralPlantarNerveS1S2 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2195-2195 | LateralPlantarNerveSuperficialBranch 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1102-1102 | LevatorAniNerve 是 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