| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15229-15229 | 子類 Muscle and BodyPart |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 19-19 | 子類 OccipitofrontalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 34-34 | 子類 OccipitalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 44-44 | 子類 FrontalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 54-54 | 子類 OrbicularisOculiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 64-64 | 子類 CorrugatorSuperciliiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 72-72 | 子類 DepressorSuperciliiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 79-79 | 子類 LevatorPalpebraeSuperiorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 90-90 | 子類 SuperiorTarsalMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 101-101 | 子類 SuperiorRectusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 111-111 | 子類 InferiorRectusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 121-121 | 子類 MedialRectusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 129-129 | 子類 LateralRectusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 139-139 | 子類 SuperiorObliqueMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 149-149 | 子類 InferiorObliqueMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 156-156 | 子類 TemporoparietalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 163-163 | 子類 AuricularisAnteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 171-171 | 子類 AuricularisSuperiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 179-179 | 子類 AuricularisPosteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 187-187 | 子類 StapediusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 197-197 | 子類 TensorTympaniMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 207-207 | 子類 ProcerusMuscleMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 217-217 | 子類 DepressorSeptiNasiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 225-225 | 子類 LevatorLabiiSuperiorisAlaequeNasiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 233-233 | 子類 TransversePartCompressorNarisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 241-241 | 子類 AlarPartDilatorNarisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 249-249 | 子類 LevatorAngulaOrisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 258-258 | 子類 DepressorAnguliOrisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 266-266 | 子類 LevatorLabiiSuperiorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 275-275 | 子類 DepressorLabiiInferiorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 285-285 | 子類 MentalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 293-293 | 子類 BuccinatorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 301-301 | 子類 OrbicularisOrisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 310-310 | 子類 RisoriusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 318-318 | 子類 ZygomaticMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 326-326 | 子類 ZygomaticMinorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 334-334 | 子類 MasseterMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 345-345 | 子類 TemporalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 356-356 | 子類 PterygoidLateralMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 367-367 | 子類 PterygoidMedialMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 375-375 | 子類 GenioglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 386-386 | 子類 HyoglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 393-393 | 子類 ChondroglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 400-400 | 子類 StyloglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 409-409 | 子類 PalatoglossusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 417-417 | 子類 SuperiorLongitudinalMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 425-425 | 子類 TransversusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 433-433 | 子類 InferiorLongitudinalMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 441-441 | 子類 VerticalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 448-448 | 子類 TensorVeliPalatiniMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 455-455 | 子類 LevatorVeliPalatiniMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 469-469 | 子類 PalatopharyngeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 479-479 | 子類 PalatineUvulaMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 486-486 | 子類 StylopharyngeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 496-496 | 子類 SalpingopharyngeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 503-503 | 子類 PharyngealInferiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 513-513 | 子類 PharyngealMiddleMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 521-521 | 子類 PharyngealSuperiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 529-529 | 子類 CricothyroidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 539-539 | 子類 ArytenoidTransverseAndObliqueMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 549-549 | 子類 ThyroarytenoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 556-556 | 子類 CricoarytenoidPosteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 564-564 | 子類 CricoarytenoidLateralMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 572-572 | 子類 PlatysmaMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 583-583 | 子類 SternocleidomastoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 596-596 | 子類 DigastricMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 606-606 | 子類 StylohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 614-614 | 子類 MylohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 624-624 | 子類 GeniohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 633-633 | 子類 SternohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 643-643 | 子類 SternothyroidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 651-651 | 子類 ThyrohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 661-661 | 子類 OmohyoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 669-669 | 子類 LongusColliMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 679-679 | 子類 LongusCapitisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 688-688 | 子類 RectusCapitisAnteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 694-694 | 子類 RectusCapitisLateralisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 702-702 | 子類 ScaleneMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 712-712 | 子類 ScaleneAnteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 723-723 | 子類 ScaleneMediusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 733-733 | 子類 ScalenePosteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 741-741 | 子類 LevatorScapulaeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 756-756 | 子類 ObliquusCapitisSuperiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 766-766 | 子類 ObliquusCapitisInferiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 773-773 | 子類 RectusCapitisPosteriorMinorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 783-783 | 子類 RectusCapitisPosteriorMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 794-794 | 子類 SemispinalisCapitisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 803-803 | 子類 LongissimusCapitisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 814-814 | 子類 SpleniusCapitisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 823-823 | 子類 RectusAbdominisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 835-835 | 子類 ExternalObliqueMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 846-846 | 子類 InternalObliqueMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 855-855 | 子類 TransversusAbdominis and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 864-864 | 子類 PyramidalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 874-874 | 子類 QuadratusLumborumMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 883-883 | 子類 ErectorSpinaeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 893-893 | 子類 IliocostalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 903-903 | 子類 LongissimusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 913-913 | 子類 SpinalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 923-923 | 子類 LatissimusDorsiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 933-933 | 子類 TransversospinalesMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 941-941 | 子類 SemispinalisThoracisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 948-948 | 子類 SemispinalisCervicisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 961-961 | 子類 MultifidusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 968-968 | 子類 RotatoresMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 976-976 | 子類 InterspinalesMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 985-985 | 子類 IntertransversariiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 992-992 | 子類 SpleniusCervicisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1001-1001 | 子類 IntercostalsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1010-1010 | 子類 ExternalIntercostalsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1019-1019 | 子類 InternalIntercostalsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1028-1028 | 子類 InnermostIntercostalsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1036-1036 | 子類 SubcostalesMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1043-1043 | 子類 TransversusThoracisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1051-1051 | 子類 LevatoresCostarumMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1060-1060 | 子類 SerratusPosteriorInferiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1068-1068 | 子類 SerratusPosteriorSuperiorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1078-1078 | 子類 DiaphragmMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1087-1087 | 子類 CoccygeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1096-1096 | 子類 LevatorAniIliococcygeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1106-1106 | 子類 PuborectalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1114-1114 | 子類 LevatorAniPuborectalisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1123-1123 | 子類 SphincterAniExternusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1131-1131 | 子類 SphincterAniInternusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1139-1139 | 子類 SuperficialTransversePerinealMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1148-1148 | 子類 BulbospongiosusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1156-1156 | 子類 IschiocavernosusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1166-1166 | 子類 DeepTransversePerinealMuscleMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1174-1174 | 子類 SphincterUrethraeMembranaceaeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1184-1184 | 子類 TrapeziusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1196-1196 | 子類 RhomboidsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1208-1208 | 子類 RhomboidMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1218-1218 | 子類 RhomboidMinorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1227-1227 | 子類 PectoralisMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1237-1237 | 子類 PectoralisMinorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1248-1248 | 子類 SubclaviusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1258-1258 | 子類 SerratusAnteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10820-10820 | 子類 DeltoidMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1280-1280 | 子類 TeresMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1290-1290 | 子類 SupraspinatusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1301-1301 | 子類 InfraspinatusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1310-1310 | 子類 TeresMinorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1319-1319 | 子類 SubscapularisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1330-1330 | 子類 CoracobrachialisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1340-1340 | 子類 BicepsBrachiiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1348-1348 | 子類 BrachialisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1357-1357 | 子類 TricepsBrachiiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1369-1369 | 子類 AnconeusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1379-1379 | 子類 PronatorTeresMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1391-1391 | 子類 FlexorCarpiRadialisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1400-1400 | 子類 PalmarisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1409-1409 | 子類 FlexorCarpiUlnarisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1420-1420 | 子類 FlexorDigitorumSuperficialisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1429-1429 | 子類 PronatorQuadratusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1440-1440 | 子類 FlexorDigitorumProfundusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1449-1449 | 子類 FlexorPollicisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1460-1460 | 子類 ExtensorDigitorumMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1471-1471 | 子類 ExtensorDigitiMinimiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1480-1480 | 子類 ExtensorCarpiUlnarisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1489-1489 | 子類 BrachioradialisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1497-1497 | 子類 ExtensorCarpiRadialisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1506-1506 | 子類 ExtensorCarpiRadialisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1517-1517 | 子類 SupinatorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1528-1528 | 子類 ExtensorIndicisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1535-1535 | 子類 AbductorPollicisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1544-1544 | 子類 ExtensorPollicisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1553-1553 | 子類 ExtensorPollicisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1562-1562 | 子類 OpponensPollicisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1570-1570 | 子類 FlexorPollicisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1581-1581 | 子類 AbductorPollicisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1590-1590 | 子類 AbductorPollicisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1598-1598 | 子類 PalmarisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1608-1608 | 子類 AbductorDigitiMinimiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1618-1618 | 子類 FingerFlexorDigitiMinimiBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1627-1627 | 子類 OpponensDigitiMinimiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1637-1637 | 子類 LumbricalMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1647-1647 | 子類 FingerDorsalInterosseiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1656-1656 | 子類 PalmarInterosseiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1665-1665 | 子類 IliopsoasMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1676-1676 | 子類 PsoasMajorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1687-1687 | 子類 PsoasMinorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1698-1698 | 子類 IliacusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1709-1709 | 子類 TensorFasciaeLataeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10823-10823 | 子類 GluteusMaximusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1730-1730 | 子類 GluteusMediusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1741-1741 | 子類 GluteusMinimusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1748-1748 | 子類 LateralRotatorGroupMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1759-1759 | 子類 PiriformisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1769-1769 | 子類 ObturatorExternusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1779-1779 | 子類 SuperiorGemellusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1786-1786 | 子類 ObturatorInternusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1793-1793 | 子類 InferiorGemellusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1802-1802 | 子類 QuadratusFemorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1809-1809 | 子類 ArticularisGenusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1819-1819 | 子類 SartoriusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1827-1827 | 子類 QuadricepsFemorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1836-1836 | 子類 RectusFemorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1845-1845 | 子類 VastusLateralisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1854-1854 | 子類 VastusIntermediusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1863-1863 | 子類 VastusMedialisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1872-1872 | 子類 BicepsFemorisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1883-1883 | 子類 SemitendinosusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1894-1894 | 子類 SemimembranosusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1905-1905 | 子類 AdductorMusclesOfTheHipMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1916-1916 | 子類 GracilisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1927-1927 | 子類 PectineusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1938-1938 | 子類 AdductorBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1947-1947 | 子類 AdductorLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1956-1956 | 子類 AdductorMagnusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1967-1967 | 子類 TibialisAnteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1978-1978 | 子類 ExtensorHallucisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1987-1987 | 子類 ExtensorDigitorumLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 1996-1996 | 子類 FibularisTertiusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2004-2004 | 子類 TricepsSuraeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2013-2013 | 子類 GastrocnemiusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2024-2024 | 子類 SoleusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2035-2035 | 子類 PlantarisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2044-2044 | 子類 PopliteusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2052-2052 | 子類 FlexorHallucisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2063-2063 | 子類 FlexorDigitorumLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2072-2072 | 子類 TibialisPosteriorMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2081-2081 | 子類 FibularisLongusMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2092-2092 | 子類 FibularisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2101-2101 | 子類 ExtensorDigitorumBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2109-2109 | 子類 ExtensorHallucisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2117-2117 | 子類 DorsalInterosseiOfFootMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2127-2127 | 子類 AbductorHallucisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2137-2137 | 子類 FlexorDigitorumBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2155-2155 | 子類 QuadratusPlantaeMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2162-2162 | 子類 LumbricalsMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2172-2172 | 子類 FlexorHallucisBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2180-2180 | 子類 AdductorHallucisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2190-2190 | 子類 FlexorDigitiMinimiBrevisMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2200-2200 | 子類 PlantarInterosseiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Muscles.kif 2209-2209 | 子類 DorsalInterosseiMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10400-10400 | 子類 VoluntaryMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10412-10412 | 子類 InvoluntaryMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10766-10766 | 子類 Pectoralis and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10773-10773 | 子類 LatissimusDorsi and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10781-10781 | 子類 Bicep and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10786-10786 | 子類 Tricep and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10791-10791 | 子類 ThighMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10799-10799 | 子類 CalfMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10806-10806 | 子類 ShinMuscle and Muscle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10812-10812 | 子類 HamstringMuscle and Muscle |
|
|