| 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 40-40 | PosteriorAuricularNerveFacialNerveCNVII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 50-50 | TemporalBranchOfFacialNerveCNVII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 60-60 | ZygomaticBranchOfFacialNerveCNVII 是 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 107-107 | SuperiorBranchOfOculomotorNerveCNIII 是 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 135-135 | AbducensNerveCNVI 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 145-145 | TrochlearNerveCNIV 是 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 203-203 | MedialPterygoidNerveFromMandibularNerveCNV3 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 213-213 | BuccalBranchOfFacialNerveCNVII 是 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 340-340 | MassetericNerveFromMandibularNerveCNV3 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 351-351 | DeepTemporalNervesFromMandibularNerveCNV3 是 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 381-381 | HypoglossalNerveCNXII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 414-414 | VagusNerveCNXAccessoryNerveCNXI 是 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 475-475 | PharyngealBranchOfVagusNerveCNX 是 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 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 545-545 | RecurrentLaryngealNerveFromVagusNerveCNX 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 578-578 | CervicalBranchOfFacialNerveCNVII 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 589-589 | AccessoryNerve 是 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 620-620 | MylohyoidNerveFromInferiorAlveolarBranchOfMandibularNerveCNV3 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 629-629 | C1ViaHypoglossalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 639-639 | AnsaCervicalis 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 657-657 | C1Nerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 675-675 | C2C3C4C5C6Nerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 684-684 | C1C2C3C4Nerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 708-708 | CervicalNervesC3C4C5C6C7 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 718-718 | VentralRamusOfC5C6 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 729-729 | VentralRamiOfThirdToEighthCervicalSpinalNerves 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 747-747 | CervicalNerveC3C4AndDorsalScapularNerveC5 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 761-761 | SuboccipitalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 778-778 | ABranchOfDorsalPrimaryDivisionOfSuboccipitalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 789-789 | DorsalRamusOfC1SuboccipitalNerve 是 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 809-809 | PosteriorBranchOfSpinalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 819-819 | C3C4 是 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 841-841 | IntercostalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 870-870 | SubcostalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 929-929 | ThoracodorsalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 973-973 | PosteriorBranch 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 981-981 | PosteriorRamiOfSpinalNerves 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 997-997 | C5C6Nerve 是 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 1056-1056 | DorsalRamiC8T1T2T3T4T5T6T7T8T9T10T11 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1074-1074 | SecondThrough5ThIntercostalNerves 是 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 1092-1092 | SacralNervesS4S5OrS3S4 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1102-1102 | LevatorAniNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1119-1119 | S3S4LevatorAniNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1127-1127 | S4AndTwigsFromInferiorAnalNervesOfPudendalNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1135-1135 | PudendalNerve 是 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 1202-1202 | DorsalScapularNerveC4AndC5 是 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 1243-1243 | MedialPectoralNerveC8T1 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1254-1254 | SubclavianNerve 是 Nerve 的 subclass |
| 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 1274-1274 | AxillaryNerve 是 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 1296-1296 | SuprascapularNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1325-1325 | UpperSubscapularNerveLowerSubscapularNerveC5C6 是 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 1363-1363 | RadialNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1375-1375 | RadialNerveC7C8AndT1 是 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 1415-1415 | MuscularBranchesOfUlnarNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1435-1435 | AnteriorInterosseousNerveMedianNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1455-1455 | AnteriorInterosseousNerveMedianNerveC8T1 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1466-1466 | PosteriorInterosseousNerveC7C8 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1512-1512 | PosteriorInterosseusNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1523-1523 | PosteriorInterosseusNerveC7C8 是 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 1604-1604 | SuperficialBranchOfUlnarNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1614-1614 | DeepBranchOfUlnarNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1633-1633 | DeepBranchOfUlnarNerveC8AndT1 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1643-1643 | DeepBranchOfUlnarNerveMedianNerve 是 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 1682-1682 | LumbarPlexusViaAnteriorBranchesOfL1L2L37 是 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 1704-1704 | FemoralNerveL2L37 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1715-1715 | SuperiorGlutealNerveL4L5 是 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 1736-1736 | SuperiorGlutealNerveL4L5S1NerveRoots 是 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 1765-1765 | PiriformisNerveS1AndS2NerveRoots9 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1775-1775 | PosteriorBranchOfObturatorNerveL3L4 是 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 1815-1815 | FemoralNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1878-1878 | SciaticNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1889-1889 | SciaticNerve10TibialL5S1S2 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1900-1900 | SciaticNerve10 是 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 1922-1922 | AnteriorBranchOfObturatorNerve11 是 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 1962-1962 | PosteriorBranchOfObturatorNerveAdductorAndTibialPartOfSciaticNerveVerticalHead1112 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1973-1973 | DeepFibularNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2009-2009 | TibialNerve 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2019-2019 | TibialNerveFromSciaticNerveSpecificallyNerveRootsS1S2 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2030-2030 | TibialNerveSpecificallyNerveRootsL5S2 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2058-2058 | TibialNerveS1S2NerveRoots 是 Nerve 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2087-2087 | SuperficialFibularNerve 是 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 2132-2132 | MedialPlantarNerve 是 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 2168-2168 | LateralPlantarNerveLateralThreeLumbricalsAndMedialPlantarNerveFirstLumbrical 是 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 2195-2195 | LateralPlantarNerveSuperficialBranch 是 Nerve 的 subclass |
|
|