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