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